Y los hijos de Judá tomaron vivos a otros diez mil que llevaron a la cumbre de un peñasco; de allí los despeñaron, y todos se hicieron pedazos.