Giudici 20:47

Così tutti quelli che in quel giorno caddero morti de’ Beniaminiti, furono venticinquemila uomini, che potevano trar la spada, tutti uomini di valore.

Poi gl’Israeliti ritornarono a’ figliuoli di Beniamino, e li percossero, e li misero a fil di spada, così le persone ch’erano nella città, come le bestie, e tutto ciò che si ritrovò; misero eziandio a fuoco e fiamma tutte le città che si ritrovarono.