"Ch'oe" . "Hyŏksun" . "Hyŏksun Ch'oe" . . . .