/*
     JavaScript function library
*/

/*
     Retrieves the proper XMLHTTP object based on browser
     @return: XMLHTTP object if browser supports AJAX
     @return: null otherwise
*/
function GetXmlHttpObject() {
if (window.XMLHttpRequest)
  return new XMLHttpRequest();
if (window.ActiveXObject)
  return new ActiveXObject("Microsoft.XMLHTTP");
return null;
}