input: def print_happy_holidays():
      """Print 'Happy Holidays' 10 times.
      >>> print_happy_holidays()
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      """
      for i in range(10):
          print('Happy Holidays')
output:     for i in range(10):
          print('Happy Holidays')