<!--
var http = getHTTPObject();
var ajaxIsBusy = 0;

function getHTTPObject() 
{

  var xmlhttp;

  if (!xmlhttp && typeof XMLHttpRequest != 'undefined') {
    try {
      xmlhttp = new XMLHttpRequest(); //Firefox,Safari,...
    } catch (e) {
      xmlhttp = false;
    }
  } else {
    try {
      xmlhttp = new ActiveXObject("Microsoft.XMLHTTP"); //Internet Explorer
    } catch (e) {
      xmlhttp = false;
    }
  }
  return xmlhttp;
}
//-->