split string on whitespace in python,"re.split('\\s+', s)"