Python: split a comma-delimitted string

str='1,2,3'
tokens=str.strip().split(',')