Related to that, it was something like $5 million or $6 million that we saved, I guess, just in terms of HR costs when those cuts were made.
How much have we offset that? What are the net savings when we consider the increased costs in having to pay out people in their pensions, having to retrain? Do you have any idea of the net figure?