Korean names for Denis — Ireum