【简讯】韩国综合股价指数升至纪录高位。