python: strings and number