“Our tax dollars are doing more to bomb children in Iran and other countries than to feed and educate children here.”

A new analysis released Thursday estimates that the average American taxpayer shelled out over $4,000 to the federal government last year “for militarism and its support systems” such as the Pentagon, whose already-massive annual budget is poised to surge to $1.5 trillion if President Donald Trump gets his way.

The National Priorities Project (NPP) at the Institute for Policy Studies found in its latest annual Tax Receipt report that, through their federal taxes, the average US taxpayer contributed $4,049.35 to Pentagon contractors, military personnel, nuclear weapons, aid to foreign militaries, and last year’s bombing of Iran’s nuclear energy facilities. That’s significantly more than the average US taxpayer contributed to healthcare for low-income Americans through Medicaid—$2,492.