Oljefondet har passert 10.000 milliarder kroner