And the sons of Judah took captive alive ten thousand, and they brought them to the top of the rock, and they cast them down from the top of the rock, and all of them were dashed to pieces.