연지: un nombre coreano para Randi — Ireum