function ltrim(s)
	{
	return s.replace(/^\s*/,"");
	}

function rtrim(s)
	{
	return s.replace(/\s*$/,"");
	}

function trim(s)
	{
	return rtrim(ltrim(s));
	}