I'm advised that the European price is $145. I was looking for some additional information, which I know is in my folder somewhere—in the depths of it—and it runs through a range of obligations that have been adopted by many of the countries that we trade with. When I find it, I will let you know.