So that all who fell that day of Benjamin were twenty-five thousand men who drew the sword; all these were men of valor.