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.
Federal government debt was reduced another $150 billion in 2001.