《元史·列传·卷九十五》
礻直初名亻典，初名忄甚，又名贝春，后乃名。讠原则更名为璋。耽罗，高丽之邻国。世祖征服高丽后，因耽罗是去南宋、日本的要冲，也加以注意。
世祖既臣服高丽，以耽罗为南宋、日本冲要，亦注意焉。
礻直 initially was called 亻典, initially was called 忄甚, also called 贝春, later was called. 讠原则 changed his name to Zhang. Tanluo, Goryeo's neighboring country. After Sejong conquered Goryeo, because Tanluo was the key pass to Southern Song and Japan, it was also noted.