Is 1st  of November a holiday?