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 .