We're all familiar with the notional, at least, surplus of some $54 billion, and that this money has gone. It's been used to pay off debt. We could have an argument at this table forever about whether that was a wise move or not, but the money has actually gone. But we do have these huge fluctuations, which generally are more than $2 billion, and in the last decade they've been on the plus side.
What was the surplus in the fund for the last fiscal year?