[THE INVESTOR] The euro opened at 1,257.59 won on July 20, down 0.3 won from the previous closing of 1,257.89 won.