August 11 Korean Stock Market: KOSPI Rises on Semiconductors, Cosmetics Exports Hit Record High