— Den sjuttonde Maj , Norges koustitutionsdag,