About 60% of Thailand's electricity is generated by natural gas. How is the price and supply of that doing? Is Thailand a producer or an importer? Have there been any disruptions in the supply? Do you think your PEA pops down to the local Esso station for their fuel?