text: 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 .