belopp , hvartill Norges budget någonsin uppgått.