欧元/美元涨至1.2712。