And Judas continued the pursuit the more hotly, putting the wicked wretches to the sword, and he destroyed as many as thirty thousand men.