It's $9 billion, not $16 billion. It's $9 billion to buy the aircraft. That is the cost of the aircraft. That's not just aircraft; that is simulators, training, infrastructure, and so on.
The $7 billion—and this is where it gets back to you, General Bastien—is the estimate for the first 20 years of supporting the F-35.
You've been supporting the F-18 for a long time. Do we know what the final cost of supporting the F-18 will be in 2020 after we've been flying it for 38 years? Do we know what the exact number is going to be?