4 Our Redeemer, Jehovah of hosts is his name, the Holy One of Israel.