How Many Men Did Gideon End With