<!--
  function trim(str)   {
     var len=str.length;
     var lpos=0,rpos=len-1;
     var newstr;
     
     if(len>0)	{
        while(str.charAt(lpos)==" ") lpos++;
		while (str.charAt(rpos) == " ")	rpos--;
		if (rpos >= lpos)	newstr = str.substring(lpos,rpos+1);
		else				newstr = "";
	 }
	 else	newstr = "";
	 return newstr;
  }
-->