Jueces 20:46-48

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

47 Pero seiscientos hombres se volvieron y huyeron al desierto, a la peña de Rimón, y se quedaron cuatro meses en la peña de Rimón.

48 Los hombres de Israel volvieron a atacar a los otros hijos de Benjamín y pasaron a filo de espada tanto a los hombres de cada ciudad como a las bestias y todo lo que hallaban a su paso. Asimismo pusieron fuego a todas las ciudades que encontraron.