…You’re in the middle of a budget period right now so they can’t revalue the currency during the middle of a budget period because budgets are calculated off the value of the currency. If they were to try to change the exchange rate in the middle of a budget they would have to amend that budget and plug new numbers and values into the budget. That’s the only way they could do it. Right now they don’t have any intentions of amending the budget. That’s not what their intentions are…