this.headers[header] = value; 
this.headers[header] = value; 
		setRequestHeader: function(header, value){		  this.headers[header] = value;		},
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/de71a046e619884292b122ddcf1401ad9932a5c7/env.js/buggy/build/runtest/env.js