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