// Define document.getElementById for Internet Explorer 4.
if (typeof(document.getElementById) == "undefined")
	document.getElementById = function (id)
	{
		// Just return the corresponding index of all.
		return document.all[id];
	}

// Some older versions of Mozilla don't have this, for some reason.
if (typeof(document.forms) == "undefined")
	document.forms = document.getElementsByTagName("form");

// Create compatible AJAX element
var http = null;

if (window.XMLHttpRequest) {
  http = new XMLHttpRequest();
  //if (http.overrideMimeType) http.overrideMimeType('text/xml');
} else if (window.ActiveXObject) { // Internet Explorer
  try {
	http = new ActiveXObject("Msxml2.XMLHTTP");
  } catch (e) {
    try {
	  http = new ActiveXObject("Microsoft.XMLHTTP");
    } catch (e) {}
  }
}