function doXMLHttpRequest(){
	/*code from Wikipedia*/
	if (typeof XMLHttpRequest == "undefined"){
		XMLHttpRequest = function () {
			try { return new ActiveXObject("Msxml2.XMLHTTP.6.0"); }
				catch (e) {}
			try { return new ActiveXObject("Msxml2.XMLHTTP.3.0"); }
				catch (e) {}
			try { return new ActiveXObject("Msxml2.XMLHTTP"); }
				catch (e) {}
	    //Microsoft.XMLHTTP points to Msxml2.XMLHTTP.3.0 and is redundant
	    throw new Error("This browser does not support XMLHttpRequest.");
		};
	}
	return new XMLHttpRequest();
}
