I Giudei dunque colpirono tutti i loro nemici, passandoli a fil di spada, uccidendoli e sterminandoli; fecero dei loro nemici quello che vollero.