	<!--
	function openWin(URL) {
		aWindow=window.open(URL,"thewindow","toolbar=no,width=600,height=500,status=yes,resizable=1,scrollbars=yes");
	}

	function doSearch() {
		page=document.searchform.page.value;
		which=document.searchform.cp.selectedIndex;
		which=document.searchform.cp[which].value;
		searchstring=document.searchform.searchstring.value;
		searchstring=escape(searchstring);
		newstring="";
	for (i = 0 ; i <= searchstring.length ; i++) {
	  thesub = searchstring.substring(i,i+1);
    if (thesub != "/" && thesub != "+" && thesub != "%") {
      newstring=newstring+thesub;
	} else {
      if (thesub == "/") {
        newstring=newstring+"%2F";
      }
	  if (thesub == "+") {
        newstring=newstring+"%2B";
      }
      if (thesub == "%") {
        if (searchstring.substring(i,i+3) == "%20") {
          newstring=newstring+"+";
          i+=2;
        } else {
          newstring=newstring+thesub;
        }
	  }
    }
	}
	searchstring=newstring;
}        
//  End -->