Den 17 Maj , som är Norges nationaldag,