Hezekiah's Korean name is 행석 — Ireum