No, compared to the average budget over the last six years, it saw a 15% reduction from those numbers. So the budget today would be 15% less than the average of the previous six years, and I'll have to get back to you on what that average was for the last six years, but my understanding now is that it's around $600 million.
