input: def print_happy_holidays_10_times():
      """ Edit the given Python program to print 'Happy Holidays' 10 times.
      >>> print_happy_holidays_10_times()
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      """
output:     for _ in range(10):
          print("Happy Holidays")