//	this function trims a string passed as a parameter.

function Trim (String)

{

	if (String != null)

	{

	  var start = 0 ;

	

	  var end = String.length - 1 ;



	  while (start < end && (String.charAt(start) == " " || String.charCodeAt(start) == 13 || String.charCodeAt(start) == 10)) start++ ;

	

	  while (end >= 0 && (String.charAt(end) == " " || String.charCodeAt(end) == 13 || String.charCodeAt(end) == 10)) end-- ; 

	

	  if (end < start) return "" ;

	

	  return String.substring(start, (end + 1)) ;

	}	

	else

	{

		return String;

	}

}