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