pero tuvieron que huir ante los israelitas. David mató a siete mil soldados sirios de caballería y cuarenta mil de infantería; también mató a Sofac, jefe del ejército.