Python : getInput(int) now works