var resObject3 = null;
var IE = 0;

function erzXMLHttpRequestObject3() {
  var resObject3 = null;
  try {
    resObject3 = new ActiveXObject("Microsoft.XMLHTTP");
IE = 1;
//alert("Microsoft.XMLHTTP");
  }
  catch(Error) {
    try {
  resObject3 = new ActiveXObject("MSXML2.XMLHTTP");
  IE = 1;
 //alert("MSXML2.XMLHTTP");
}
catch(Error) {
  try {
    resObject3 = new XMLHttpRequest();
    //alert("XMLHttpRequest");
 }
  catch(Error) {
    //alert("Erzeugung des XMLHttpRequest-Objektes nicht möglich!");
  }
}
  }
  return resObject3;
}
resObject3 = erzXMLHttpRequestObject3();

function showinfo(i) {
  //resObject3 = erzXMLHttpRequestObject3()
  // Damit der abwärtskompatibele Link nicht ausgeführt wird
  // Daten ueber PHP nachladen, samt formatierung
  resObject3.open('GET','info_tool.php?i='+i, true);
  resObject3.onreadystatechange = nachladen3;
  resObject3.send(null);
}

function nachladen3() {
  handleResponse3();
}

function handleResponse3() {
  if(resObject3.readyState == 4) {
  
    // F E H L E R 
    // IE macht an dieser Zeile Probleme!!
    // document.getElementById('TipLayer') ist null, aber warum??
    
    document.getElementById("TipLayer").innerHTML = resObject3.responseText;
    Tartar=["",resObject3.responseText];
    stm(Tartar,Style[12]);
  }
}