Den 8 oktober fyllde stortingspresidenten,