Sources report the BIS has come into the market buying EUR/USD. Not sure of level, but probably in 1.3985/95 region.