Korean names for Jensen — Ireum