 Now, the debt that the government is trying to deal with really is indeed quite a challenge. We have about $80 million worth of debt, and the number keeps changing because our currency is also quite weak at this time, and a lot of the debt we have is denominated in dollars. You're talking $18 billion?