And rose up, and thrust him out of the city, and led him to the brow of the hill on which their city was built, that they might throw him down headlong.
And ten thousand others left alive did the children of Judah take away captive, and brought them to the top of the rock, and threw them down from the top of the rock, so that they all were broken in pieces.