Así todos los que de Benjamín murieron aquel día fueron veinticinco mil hombres que sacaban espada, todos ellos hombres de guerra.