<!--
	var xmlHttp;
	
	function httpXMLobjects() {
		var xmlHttp=null;
		try {
		 // Fuer Firefox, Opera und Safari
		 xmlHttp=new XMLHttpRequest();
		 }
		catch (e) {
		 // Der Internet Explorer wills wieder anders
		 try {
		  xmlHttp=new ActiveXObject("Msxml2.XMLHTTP");
		  }
		 catch (e) {
		  xmlHttp=new ActiveXObject("Microsoft.XMLHTTP");
		  }
		 }
		return xmlHttp;
	}
	
	function suggest(suchbegriff,langid)
	{
		xmlHttp=httpXMLobjects();
		if (xmlHttp==null) {
		  //alert ("Browser does not support AJAX");
		  return;
		}
		if (suchbegriff.length<3) 
		{ 
			document.getElementById("ausgabe").innerHTML="";
			document.getElementById("ausgabe").style.display="none";
			return; 
		}
		document.getElementById("ausgabe").style.display="";
		var aufruf="ajax_getbegriff.php"+"?suchbegriff="+escape(suchbegriff)+"&langid="+langid+"&random="+Math.random(); 
		xmlHttp.onreadystatechange=stateChanged; 
		xmlHttp.open("GET",aufruf,true); 
		xmlHttp.send(null);
	}
	
 	function stateChanged() 
 	{	
 		if (xmlHttp.readyState == 4 || xmlHttp.readyState=="complete") 
 		{		
			var ss = document.getElementById('ausgabe')		
			ss.innerHTML = '';		
			var str = xmlHttp.responseText.split("\n");		
			for(i=0; i < str.length - 1; i++) 
 			{	
 				//Build our element string.  This is cleaner using the DOM, but			
 				//IE doesn't support dynamically added attributes.
 				var suggest = '<div onmouseover="javascript:suggestOver(this);" ';			
 				suggest += 'onmouseout="javascript:suggestOut(this);" ';			
 				suggest += 'onclick="javascript:setSearch(this.innerHTML);" ';			
				suggest += 'class="suggest_link">' + str[i] + '</div>';			
				ss.innerHTML += suggest;		
 			}
 		}
 	} 
 	
 	//Mouse over function
	function suggestOver(div_value) {
		div_value.className = 'suggest_link_over';
	}
	//Mouse out function
	function suggestOut(div_value) {
		div_value.className = 'suggest_link';
	}
	//Click function
	function setSearch(value) {
		var asuchbegriff = value.split(" [");
 		var suchbegriff = asuchbegriff[0];	
 		oelement = document.getElementById('suchbegriff');
		if (oelement)
		{
			document.getElementById('suchbegriff').value = suchbegriff;
			}
		else
		{
			oelement = document.getElementById('suchbegriffe');
			if (oelement)
			{
				document.getElementById('suchbegriffe').value = suchbegriff;
			}
		}
		document.getElementById('ausgabe').innerHTML = '';
		document.getElementById("ausgabe").style.display="none";
	}
-->