rem: this.setRequestHeader=function(_15,_16){ this.headers.push(_15+": "+_16); 
add: this.setRequestHeader=function(_18,_19){ this.headers.push(_18+": "+_19); 
context: this.setRequestHeader=function(_15,_16){this.headers.push(_15+": "+_16);};
meta: 10428	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10428/f0576f65a7b0341560eac2493956030db69acdc9/fleegix.js/clean/fleegix.js