var xmlHttp

function show(ziel,was){
    div = was;
    xmlHttp=GetXmlHttpObject()
    if (xmlHttp==null){
	alert ("Browser does not support HTTP Request")
	return
    }
    var url=ziel+"&sid="+Math.random()
    xmlHttp.onreadystatechange=aufruf
    xmlHttp.open("GET",url,true)
    xmlHttp.send(null)
} 
function aufruf(){
    switch(xmlHttp.readyState){
	case 0: 
    	case 1:
    	case 2:
    	case 3: break;
	case 4: 
	    document.getElementById(div).innerHTML=xmlHttp.responseText;
	break;
    } 
} 
function GetXmlHttpObject(){
    var objXMLHttp=null
    if (window.XMLHttpRequest){
	objXMLHttp=new XMLHttpRequest()
    }else if (window.ActiveXObject){
	objXMLHttp=new ActiveXObject("Microsoft.XMLHTTP")
    }
    return objXMLHttp
}