Its 125 billions, not 1250 billions. Also US deficit is around ~500 bil now (way less then 1250b, but more then 125b)
[1] https://en.wikipedia.org/wiki/United_States_federal_budget#/...
[2] https://web.archive.org/web/20131210100653/http://superchimn...