And ten thousand did the children of Judah take captive alive, and brought them to the top of the rock, and cast them down from the top of the rock, so that they all were crushed.