Korean names for Otto — Ireum