input: 
  def holiday_greeting(times: int) -> None:
      """Print 'Happy Holidays' the given number of times.
      >>> holiday_greeting(10)
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      """
  
output:     for _ in range(times):
          print("Happy Holidays")