Generate a correctly punctuated version of the following text: 9 And after him was Eleazar the son of Dodo the Ahohite one of the three mighty men with David when they defied the Philistines that were there gathered together to battle and the men of Israel were gone away
9 And after him was Eleazar the son of Dodo the Ahohite, one of the three mighty men with David, when they defied the Philistines that were there gathered together to battle, and the men of Israel were gone away: