string split formatting in python 3,s.split()