That's the gross dollar amount, what's more interesting is when you take into account PPP and what actually goes into a military budget (does coast guard get included? How about special projects like an aircraft carrier?)