I think their biggest expenditure of all is personnel-related, and that's how many people they have, the salaries they have to pay, the pensions they have to pay out, and health care costs, aside from the actual weapons and other types of programs.