new java.io.FileInputStream(url)))); 
new java.io.FileInputStream( url )))); 
	window.__defineSetter__("location", function(url){		window.document = new DOMDocument(			new Packages.org.xml.sax.InputSource(			new java.io.InputStreamReader(				new java.io.FileInputStream(url))));	});
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/d776dc9d5c5322e81b56272728325990ed6892bb/env.js/buggy/build/runtest/env.js