O nome coreano de Randi é 연지 — Ireum