Title: Inhyŏn Wanghu chŏn ; Ongnangja chŏn ; Oyu-ran chŏn