“Rejoice with him, O heavens;bow down to him, all gods,for he avenges the blood of his childrenand takes vengeance on his adversaries.He repays those who hate himand cleanses his people’s land.”