Norges extra ordinarie armébudget.