trim whitespace in string `s`,s.strip()