{
  if (celebrate(christmas))
  {
    printf("Merry Christmas!\n");
  }
  printf ("Have a peaceful and prosperous new year!\n");
}