[THE INVESTOR] The US dollar ended at 1,146.4 won on July 13, down 1.6 won from the previous day’s 1,148.0 won.