Far East buying met BIS selling at the 1.3130 level. EUR/USD trades around 1.3125 now.