4 Our redeemer [is] Jehovah of Hosts, His name [is] the Holy One of Israel.