Ah, ok. Thank you. If you add in the 2.7% for military personel (which doesn't seem to be included here) then you get to about 6-7% of total spending.