<!--

	// Removes leading and tailing spaces.
	function trim(str)
	{
		var re_left = /^(\s+)/ig;
		var re_right= /(\s+)$/ig;

		var new_str = str.replace(re_left, "");
		new_str = new_str.replace(re_right, "");

		return new_str;
	}

//-->