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