韩国10月汇丰制造业PMI 51.3，前值53.9。