Giudici 20:35

E l'Eterno sconfisse Beniamino davanti a Israele; e i figliuoli d'Israele distrussero in quel giorno venticinquemilacento uomini dei Beniaminiti: tutti costoro sguainarono la spada. Venticinquemilacento - Poiché i Beniaminiti consistevano solo di ventiseimilasettecento frombolieri; o, come leggono la Vulgata, la Settanta e altri, venticinquemila, che è molto probabilmente la lettura vera; poi tutti i Beniaminiti furono fatti a pezzi, eccetto seicento uomini, che, come sappiamo, fuggirono alla roccia Rimmon, dove si fortificarono.