<!--
	function trimString(cs)
    {
	 while ((cs.substring(0,1) == ' ') || (cs.substring(0,1) == '\n') || (cs.substring(0,1) == '\r'))
		cs = cs.substring(1,cs.length);
	 while ((cs.substring(cs.length-1,cs.length) == ' ') || (cs.substring(cs.length-1,cs.length) == '\n') || (cs.substring(cs.length-1,cs.length) == '\r')) 
		cs = cs.substring(0,cs.length-1);
	 return cs;
    }
	function fixDomain(s)
	{
	 s = s.toLowerCase();
	 s = s.replace(/[^0-9a-z\.-]/gi, "");
	 return s;
	}
	function setBookmark(url, title)
	{
	 if (window.sidebar)
		window.sidebar.addPanel(title, url,"");
	 else if(window.external)
		window.external.AddFavorite(url, title);
	 return true;
	}
-->