Ṣẹ̀kún gbólóhùn tó wà nísàlẹ̀ yìí:
Awọn ikọlu Mongol ti Korea ni ọdun 1232, nigbati olu-ilu Goryeo ti gbe lọ si Erekusu Ganghwa lakoko o fẹrẹ to ọgbọn ọdun ti awọn ikọlu Mongol, botilẹjẹpe awọn apakan ti o tuka ti awọn titẹ rẹ tun wa. Láti tún bẹ̀bẹ̀ fún ìrànlọ́wọ́ Ọlọ́run láti gbógun ti ewu Mongol, Ọba Gojong lẹ́yìn náà pàṣẹ àtúnṣe àti àtúnṣe Tripiṭaka; iṣẹ́ gbígbẹ́ náà bẹ̀rẹ̀ ní ọdún 1237 ó sì parí ní ọdún méjìlá, pẹ̀lú ìtìlẹyìn Choe U àti ọmọ rẹ̀ Choe Hang, àti lílo àwọn ajẹ́jẹ̀ẹ́ ìnìkàngbé láti ilé-ẹ̀kọ́ Seon àti Gyo. Ẹ̀dà kejì yìí ni wọ́n sábà máa ń pè ní Tripiṭaka Koreana. Lọ́dún 1398, wọ́n gbé e lọ sí Haeinsa, níbi tó ti wà títí dòní nínú ilé mẹ́rin.