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