3,000 government troops participated in the fighting.
شارك في القتال 3،000 جنديا من القوات الحكومية.