function getContent (id,file) {
    info_x = document.getElementById(id);
    info_x.style.display = "block";

    // AJAX stuff
    
    if (getAJAX.readyState == 4 || getAJAX.readyState == 0) {
        getAJAX.open("GET",file, true);
        
        getAJAX.onreadystatechange = function () {
			if (getAJAX.readyState == 4)
    	   info_x.innerHTML = getAJAX.responseText;
     }
  	
  	getAJAX.send(null);

    }
    
}

//initiates the XMLHttpRequest object
//as found here: http://www.webpasties.com/xmlHttpRequest
function getHTTPObject() {
  var xmlhttp;
  /*@cc_on
  @if (@_jscript_version >= 5)
    try {
      xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");
    } catch (e) {
      try {
        xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
      } catch (E) {
        xmlhttp = false;
      }
    }
  @else
  xmlhttp = false;
  @end @*/
  if (!xmlhttp && typeof XMLHttpRequest != 'undefined') {
    try {
      xmlhttp = new XMLHttpRequest();
    } catch (e) {
      xmlhttp = false;
    }
  }
  return xmlhttp;
}