韩国7月汇丰制造业PMI47.2，前值49.4。