KOSPI上涨高达2.5%,创下4,208.93的新历史高点。