split string `str1` on one or more spaces with a regular expression,"re.split(' +', str1)"