I'll just check my figures, so that I can give you the right ones.
In the 2016 budget, we received $4.28 billion; in 2017, $4 billion over 10 years; in 2018, $172.6 million; and in 2019, $1 billion. This amounts to about $8 billion, which will be administered by the department.