TSK · Giudici 20:15

gli annoverati della tribù di Beniamino furono trentacinquemila quattrocento.

Ma pure il popolo, cioè, que’ d’Israele, prese animo, e ordinò di nuovo la battaglia nel luogo dove l’avea ordinata il primo giorno.

E il Signore sconfisse Beniamino davanti ad Israele; e in quel giorno i figliuoli d’Israele tagliarono a pezzi venticinquemila e cent’uomini di Beniamino, i quali tutti potevano trar la spada.