Construct a Python program to split a string at a given character occurrence index.
Input String: Hello World
Index: 6
def split_string(string, index):
  return string[:index] + "," + string[index+1:]

s = "Hello World"
index = 6

new_string = split_string(s, index)
print(new_string)

Output:
Hello,World