input: def edit_program_to_print_holidays(program: str) -> str:
      """Edit the given Python program to print 'Happy Holidays' 10 times.
      The input program prints 'Hello World' 10 times. Modify it to print 'Happy Holidays' instead.
      >>> edit_program_to_print_holidays("for i in range(10):\n    print('Hello World')")
      "for i in range(10):\n    print('Happy Holidays')"
      """
output:     return program.replace("Hello World", "Happy Holidays")