this.headers = {}; this.responseHeaders = {}; 
this.headers = {}; this.responseHeaders = {}; 
	window.XMLHttpRequest = function(){	  this.headers = {};	  this.responseHeaders = {};	};
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/de71a046e619884292b122ddcf1401ad9932a5c7/env.js/buggy/build/runtest/env.js