David did as God commanded him: and they struck the host of the Philistines from Gibeon even to Gezer.
And it was then at this point that David brought back the ark of the covenant, doing it after the manner that God had prescribed to Moses bringing it back the right way. "