static	void	trim(std::string &s)
static	void	trim(string &s)
static	void	trim(std::string &s){	// Clean off leading whitespace	while(s.length()&&s[0]<=32)		{		s=s.substr(1);		}	// Clean off trailing whitespace	while(s.length()&&s[s.length()-1]<=32)		{		s.erase(s.length()-1);		}}