input: from typing import List
  
  def print_happy_holidays(num_times: int) -> None:
      """ Prints 'Happy Holidays' the given number of times.
      >>> print_happy_holidays(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(num_times):
          print("Happy Holidays")