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