Some of the press stories indicate that they came from...
Some of the press stories indicate that they came from export earnings that had not yet been remitted to the government. But that's all I know on that. They did, as I noted, make the payment.