[THE INVESTOR] The euro ended at 1,269.33 won on July 13, down 3.22 won from the previous day’s 1,272.55 won.