// JavaScript Document
var xmlhttp, xmlname

function show(name, str, url){
	xmlname = name
	if(str.length==0){
		document.getElementById(name).innerHTML="";
		return;
	}
	xmlhttp=GetXmlHttpObject();
	if(xmlhttp==null){
		alert ("Your browser does not support XMLHTTP!");
		return;
	} 
	url=url+"?q="+str;
	url=url+"&sid="+Math.random();
	xmlhttp.onreadystatechange=stateChanged;
	xmlhttp.open("GET",url,true);
	xmlhttp.send(null);
}

function GetXmlHttpObject(){
	if(window.XMLHttpRequest){
		return new XMLHttpRequest();
	}
	if(window.ActiveXObject){
		return new ActiveXObject("Microsoft.XMLHTTP");
	}
	return null;
}

function stateChanged(){
	if(xmlhttp.readyState==4){
		document.getElementById(xmlname).innerHTML=xmlhttp.responseText;
	}
}