if (async) this.async = true; 
if (async != undefined) this.async = async; 
		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/eb5529eac0f73c273ecd6ab1968b30b00c48d903/env.js/clean/build/runtest/env.js