the dollar at 1.2750 per euro