I want to take an input say 7 8 9 5 12 17 as separate integers in an array ar[]. I have tried 
`a=input() 
ar.append(a.split(" "))` 
but it just stores the numbers as strings. And I can't find a way to convert these integers directly while appending. Please help thanks in advance.