“…Samgukchi, Jinsŏ oegukjŏn yŏkchu…”