trim whitespace (including tabs),s = s.strip(' \t\n\r')