17 dennes har bestämts till en allmänhögtidsdag