In about 9 mins. (12:15 GMT) EUR/USD at 1.2933 from 1.2916 session low.