https://www.usdebtclock.org/
According to U.S. Nation Debt Clock there are 23 million Government workers
Let's say on average the salary is $85,000
That is 23,000,000 X 85,000 comes up to
$1,955,000,000,000 (Trillion)
How much did the IRS get in taxes this year?
4 Trillion dollars.