For reference, the US Federal budget in 2015 was 3.7 trillion dollars. [1]

[1] https://en.wikipedia.org/wiki/United_States_federal_budget