The gas, which is our main source of power, is priced in dollars.