That works out at over 45,000 baht a ton. How does that price seem to you, Jim? How does it compare to recent prices?