input: 
  def print_holidays():
      """ Edit the given Python program to print 'Happy Holidays' 10 times.
      >>> print_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')