Apparently Korea notable seller EUR/USD around the highs. We’re presently at 1.4077 having been to 1.4097.