Korean name for Ibrahim — Ireum