Penger budsjettert fra oljefondet, målt i mrd kroner