4 Our Redeemer--the LORD of hosts is his name--is the Holy One of Israel.