I can answer that.
About 12% of that is owed to foreign lenders, and I distinguish between the amounts of debt that are owed to foreign lenders versus the debt that's actually denominated in foreign currencies. The latter is an even smaller amount. It's in the order of 2% to 3%.