function trim (str) 
	{		
  return str.replace (/^\s+/, '').replace (/\s+$/, '');
	}