Zeev, you commented that gas costs 3 to 4 times as much in Europe than the U.S. What is the cause of that?