Yes, well, there are some detailed numbers, but it's more complex than that because you start with an A-base budget, which was $320 million, and over years and years the effective buying power of that is reduced. Second to that, this money is taken out for other things. In fact, I think maybe even some of the generic work that's going on at the moment is talking about taking money out of the budget, which is amazing to me. The net result is the amount of money available to actually execute on programs, launch satellites, and do good things is less than it used to be.
