this.readyState = 1; if(async) this.async = true; this.method = method || "GET"; this.url = url; this.onreadystatechange(); 
this.readyState = 1; if (async) this.async = true; this.method = method || "GET"; this.url = url; this.onreadystatechange(); 
		open: function(method, url, async, user, password){ 		  this.readyState = 1;		  if(async) this.async = true;		  this.method = method || "GET";		  this.url = url;		  this.onreadystatechange();		},
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/de71a046e619884292b122ddcf1401ad9932a5c7/env.js/buggy/build/runtest/env.js