Juízes 20:47

E eles se viraram e fugiram em direção ao deserto, até a rocha de Rimom; e eles colheram, no caminho, cinco mil dos seus homens; e os perseguiram ferozmente até Gidom, e mataram dois mil deles.

De modo que todos os que caíram de Benjamim naquele dia, foram vinte e cinco mil homens que desembainhavam a espada; todos estes eram homens valentes.

E os homens de Israel se voltaram novamente contra os filhos de Benjamim, e os feriram com o fio da espada, tanto os homens de cada cidade, como os animais, e tudo o que veio à mão; eles também atearam fogo a todas as cidades às quais chegaram.