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.