韩国综合股价指数创纪录高位。