Also, from what I recall, the reason why US military budget appears so high is also because pensions for retired personnel (the highest invoice) are included in the military budget, whereas they are not e.g. in Italy where it's a different budget.