rem: XMLHttpRequest = function() { return new ActiveXObject((navigator.userAgent.toLowerCase().indexOf('msie 5') >= 0) ? "Microsoft.XMLHTTP" : "Msxml2.XMLHTTP"); 
add: XMLHttpRequest = function(){ return new ActiveXObject( (navigator.userAgent.toLowerCase().indexOf('msie 5') >= 0) ? "Microsoft.XMLHTTP" : "Msxml2.XMLHTTP" ); 
context: 	XMLHttpRequest = function() {		return new ActiveXObject((navigator.userAgent.toLowerCase().indexOf('msie 5') >= 0) ?			"Microsoft.XMLHTTP" : "Msxml2.XMLHTTP");	};
meta: 3217	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3217/70cab836b0d87ec1a94658411c398658780f5810/ajax.js/buggy/ajax/ajax.js