De ellos, veinte mil quedaban reservados para el Ejército y tres mil para guardafronteras.