It's about $10 billion U.S. That's for 51 or 52 air fighters. That's $10 billion today, but I'm sure there could be another answer in just a few months, when we know more about what's happening in the United States. I'm sure that they are going to put some of their procurement to right...not cuts in the program. It's 2,400 fighters. I think that the United States is going to procure 2,400 fighters, but they are going to procure them more slowly, and this will definitely affect the price for Norway. But the answer to your question is $10 billion U.S. for 51 fighters.
On November 24th, 2011. See this statement in context.