Otras fuentes reducen esta cifra a 12.000 milicianos.