Oljefondet har passert 10.000 milliardar kroner