är 13,000 man ; milisreserven 25 , 000.