en extraordinarie armébudget å 3 , 3 ( 9 , 3GO kronor.