5 million tons of gas