O nome coreano de Kristian é 계현 — Ireum