[THE INVESTOR] The euro opened at 1,258.42 won on July 15, down 7.13 won from previous day’s 1,265.55 won.