O nome coreano de Jensen é 진산 — Ireum