substitute multiple whitespace with single whitespace in python,""""""" """""".join(mystring.split())"