som president ; republiken Norge ,president