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