[THE INVESTOR] The euro ended at 1,272.55 won on July 12, up 5.24 won from the previous day’s 1,267.31 won.