韩国首尔综合指数跌9.5%。