O nome coreano de Ahmad é 정만 — Ireum