Jueces 20:44-46

44 Ese día cayeron 18,000 hombres de Binyamín, todos ellos hombres valientes.

45 Luego se volvieron y huyeron al desierto, a la Roca de Rimón; pero [los yisraelitas] abatieron a otros 5,000 en los caminos y, siguiendo en fiera persecución de ellos hasta Guidom, mataron 2,000 más.

46 Así el número total de los binyaminitas que cayeron ese día llegó a 25,000 combatientes, todos ellos valientes.