Korean names for Dennis — Ireum