Hong Kong has 17 public holidays, but only 12 are mandatory. Photo: Jonathan Wong