So far , the federal government has used excess funds to reduce debt held by the public , paying down $ 223 billion in fiscal year 2000 alone .
Excess funds are not used to reduce federal government debt .