stortinget anvisade för armén örn kring 7 , 400 , 000 kronor.