KOSPIは4100マークを割り込む