Convert User Input String Python Documentation Tutorialspoint