"Dae Seok Choi" . . .