function getHtml(div, url) {

//  document.write("TREE.JS<br>");

  var ajax=false;
  var obj=document.getElementById(div);
  var str="";
  if(window.XMLHttpRequest) {
    ajax=new XMLHttpRequest();
  } else {
    ajax=new ActiveXObject("Microsoft.XMLHTTP");
  }
  str+=div;
  str+="-";
  str+=url;
  ajax.open("GET",url);
  ajax.onreadystatechange=function() {
    if(ajax.readyState==4 && ajax.status==200) {
      var response=ajax.responseText;
      var execMark='<<exec>>\n';
      var cmdStart=response.lastIndexOf(execMark);
      if(cmdStart>-1) {
	eval(response.substring(cmdStart+execMark.length));
      } else {
        obj.innerHTML=response;
      }
    }
  }
  ajax.send(null);

}