vårt infanteri till 10,000 man.