[THE INVESTOR] The US dollar ended at 1,148.0 won on July 12, up 1.3 won from the previous day’s 1146.7 won.