E hirió Jehová a Ben-jamín delante de Israel; y mataron los hijos de Israel aquel día veinte y cinco mil y cien hombres de Ben-jamín, todos estos que sacaban espada.