El nombre coreano de Gracelyn es 계현 — Ireum