var searchword = window.location.search.substring(1);
var Doc=new Array();

function ShowDocs(searchtype)
{
   var docstring;
   var searchstring;
   var found;
   var findstring;

   if (searchword) 
   {   
      var pos = searchword.indexOf('=');
      if (pos > 0)
      {
         findstring=searchword.substring(pos+1);         
      }
   }
   else
   {   
      findstring=searchtype;
   }
   docstring="";
   document.getElementById("doclist").innerHTML=docstring;
   if (findstring=="reset")
   {   
      for(i = 0; i <= DocsCount; i++)
      {
         Doc=DocumentList[i].split(Delimiter);
         docstring=docstring + "<a class=\"DocSelect\" onclick='ShowDoc(\"docs/" + Doc[1] + ".htm\")'>" + Doc[0] + "</a><br />";
         document.getElementById("searchinput").value="";
      }
   }
   else
   {
      if (searchword)      
      {
         searchstring = findstring;
         searchword=null;
      }
      else
      {
         searchstring = document.getElementById("searchinput").value;
      }
      if (searchstring!="")
      {
         searchstring = searchstring.toLowerCase();
         found=0;
         for(i = 0; i <= DocsCount; i++)
         {
            Doc=DocumentList[i].split(Delimiter);
            if (Doc[2].match(searchstring))
            {               
               found=1;
               docstring=docstring + "<a class=\"DocSelect\" onclick='ShowDoc(\"docs/" + Doc[1] + ".htm\")'>" + Doc[0] + "</a><br />";
            }
         }
         if (found==0)
         {
            docstring="[word not found]";
         }
      }
      else
      {
         for(i = 0; i <= DocsCount; i++)
         {
            Doc=DocumentList[i].split(Delimiter);
            docstring=docstring + "<a class=\"DocSelect\" onclick='ShowDoc(\"docs/" + Doc[1] + ".htm\")'>" + Doc[0] + "</a><br />";
            document.getElementById("searchinput").value="";
         }
      }
   }
   document.getElementById("doclist").innerHTML=docstring;
}

function ShowDoc(doc)
{    
   document.getElementById("currentdoc").src=doc;
}
