[THE INVESTOR] The US dollar ended at 1,133.9 won on July 15, down 3.5 won from the previous day’s 1,137.4 won.