function doSearch() {	         
            document.forms["searchForm"].q.value = encodeURIComponent(document.forms["searchForm"].q.value);         
            document.forms["searchForm"].submit();            
            return false;
        }
      	
function doPage(query, page) {	
            document.forms["searchForm"].q.value = query;
            document.forms["searchForm"].p.value = page;            
            document.forms["searchForm"].submit();            
            return false;
        }
        
function init() {
            document.forms["searchForm"].q.value = decodeURIComponent(document.forms["searchForm"].q.value);         
            var qt = document.getElementById("qt");
            if (qt != null) {
               qt.innerHTML = decodeURIComponent(qt.innerHTML);
            }            
        }
		
		
function installSearchEngine(sl) {
 if (window.external && ("AddSearchProvider" in window.external)) {
   // Firefox 2 and IE 7, OpenSearch
   window.external.AddSearchProvider("http://192.168.3.46/_globals/docs/xpi.php?sl=" + sl);
 } else {
   // No search engine support (IE 6, Opera, etc).
   alert("Ihr Brwoser unterstützt keine Suchmaschinen");
 }
}