However, the euro is down about 8% since June, so it's safe to say there's been a fair bit of selling.