Los judaítas capturaron vivos a otros diez mil, los subieron a la cima de un peñasco, los arrojaron desde allí y los estrellaron a todos.