7 , 500 , infanteriet 17 , 800 , tillsammans 25,300 man.