så skulle vår ordinarie krigsbudget vara uppe vid 42 millioner kr.