연지 — a Korean name for Randi — Ireum