input: def print_holidays(num_times: int) -> None:
      """ Prints 'Happy Holidays' the specified number of times.
      >>> print_holidays(10)
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      """
      for i in range(num_times):
          print('Happy Holidays')
output:     for i in range(num_times):
          print('Happy Holidays')