trim whitespace (including tabs),s = s.rstrip()