Oljefondets marknadsverdi passerer rekordhøge 12.600 milliardar kroner