Convert User Input String Python Definition W3schools