/* Get element by ID */
function El(element_id) {
  return document.getElementById(element_id);
}


// XML HTTP Request object (works on most popupar browsers)
function HTTPConnector() {
  var xmlhttp=false;
  /*@cc_on @*/
  /*@if (@_jscript_version >= 5)
  // JScript gives us Conditional compilation, we can cope with old IE versions.
  // and security blocked creation of the objects.
  try {
    xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");
  } catch (e) {
    try {
    xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
    } catch (E) {
    xmlhttp = false;
    }
  }
  @end @*/
  if (!xmlhttp && typeof XMLHttpRequest!='undefined') {
          try {
                  xmlhttp = new XMLHttpRequest();
          } catch (e) {
                  xmlhttp=false;
          }
  }
  if (!xmlhttp && window.createRequest) {
          try {
                  xmlhttp = window.createRequest();
          } catch (e) {
                  xmlhttp=false;
          }
  }
  return xmlhttp;
}


// Request data from the server
function HTTPRequest(_method,url,txt,success) {
  var xmlhttp=new HTTPConnector();
  xmlhttp.open(_method,url,true);
  xmlhttp.onreadystatechange=function() {
    if (xmlhttp.readyState==4) success(xmlhttp.responseText);
  }
  xmlhttp.send(txt);
}


// Get data from URL and insert into element as inner HTML
function loadurl(url,element_id) {
  HTTPRequest('GET',url,null,function (response) {
    var el=El(element_id);
    el.innerHTML=response;
  });
}