Even if they include all their local allies or recent surges in recruitment that can't be more than double.
In the past the demographics reported by #GazaMOH have been less reliable than the totals, but not by ENOUGH to make 7000 #militants "neutralised" plausible (from memory, totals have been about 3% of and demographics up to 10% when compared to independent counts).