högtidsdag * är den 17 Oktober.