2016-06-07 153 views

回答

5
import re 
str = "some text 12345 other text" 
result = re.split("\d+", str)[0] 
相关问题