Giudici 20:46

Così che tutti quelli che caddero quel giorno di Beniamino furono venticinquemila uomini che sguainarono la spada; tutti questi [erano] uomini di valore.

ver. 46. Venticinquemila. ] Oltre a mille uccisi nelle due precedenti battaglie; poiché la guerra è utrinque triste, triste da entrambe le parti.