Korean names for Allen — Ireum