double

#Write your FUNCTION here
def double_index(lst, INDEX):
  IF INDEX < len(lst):
    lst[INDEX] = lst[INDEX] * 2
  RETURN lst

#Uncomment the line below WHEN your FUNCTION IS done
print(double_index([3, 8, -10, 12], 2))