// 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];
}
// Define XMLHttpRequest for IE 5 and above. (don't bother for IE 4 :/.... works in Opera 7.6 and Safari 1.2!)
else if (!window.XMLHttpRequest && window.ActiveXObject)
window.XMLHttpRequest = function ()
{
return new ActiveXObject(is_ie5 ? "Microsoft.XMLHTTP" : "MSXML2.XMLHTTP");
};