The cash, or the premium revenue, formed part of the total government revenues in the CRF—it is not set aside in a separate bank account.
What we have with the $57-billion cumulative number is the addition of each of those individual year's surpluses.