python_string_split.py: