I hate to interrupt you, but I'm out of time. I understand I only have 30 seconds left.
I thank you for those answers, but can you tell me briefly whether any of the countries in which we sold nuclear reactors owe us any money still? I understand we had to lend them the money to buy the reactors from us. Did they end up paying for them, or is there money we could recoup there?