And they rose up and put 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.
The men of Judah captured another ten thousand alive, and took them to the top of a rock and threw them down from the top of the rock; and they were all dashed to pieces.