//initialize object according to browser family
if(navigator.appName == "Microsoft Internet Explorer")
{
var request = new ActiveXObject("Microsoft.XMLHTTP"); //msie
}
else
{
var request = new XMLHttpRequest(); //gecko
}

//make sure we send correct mime type
request.overrideMimeType("text/xml; charset=utf8");

function query()
{
	request.abort();
	v1 = document.getElementsByName('query_string')[0].value;
	var url = "_includes/search.php5";
	url = url + "?"+v1;
	
	request.onreadystatechange = display;
	request.open('GET',url,true);
	
	//avoid caching
	request.setRequestHeader("Pragma","no-cache");
	request.setRequestHeader("Cache-Control","must-revalidate");
	request.setRequestHeader("If-Modified-Since",document.lastModified);
	request.setRequestHeader("Content-Type","application/x-www-formurlencoded");
	request.send(null);
}

function showDetails(v2)
{
	request.abort();
	var url = "show.php";
	url = url + "?details|"+v2;
	
	request.onreadystatechange = display;
	request.open('GET',url,true);
	
	//avoid caching
	request.setRequestHeader("Pragma","no-cache");
	request.setRequestHeader("Cache-Control","must-revalidate");
	request.setRequestHeader("If-Modified-Since",document.lastModified);
	request.send(null);
}

function display() //display mysql query result
{
	switch(request.readyState)
	{
	default:
	document.getElementById("display").innerHTML = "Daten werden geladen";
	break;
	
	case 4:
	document.getElementById("display").innerHTML = request.responseText;
	break;
	}
}

function escape() //abort current request
{
	request.abort();
}