And all who fell of Binyamin that day were twenty-five thousand men who drew the sword, all of these were mighty men.