Af dessa äro 80 infanteri,