O nome coreano de Devan é 대헌 — Ireum