. "Chŏng, Kŭg-in, 1401-1481" . . . "1401"^^ . "1481"^^ . . . . "Chŏng, Kŭg-in, 1401-1481 Kugyŏk Puruhŏn chip" . . . "Chŏng, Kŭg-in, 1401-1481 Puruhŏn munjip" . . . "Hongjin e muchʻin punne i nae saengae ŏttŏ hanʼgo" .