As you know, that $1.4 billion went into the Consolidated Revenue Fund. We've already talked about that. I know you're pretending to be surprised, but you already knew it. That's always been very clear from the start.
As for the investments that must be made in the real property inventory, every year, year in, year out, we tap the budget to reinvest in real property. This year's amount of $290 million is the same as last year's. The good news is that we now have seven properties of less—