return "file:"; 
return curLocation.getProtocol() + ":"; 
	window.__defineGetter__("location", function(url){		return {			get protocol(){				return "file:";			}		};	});
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/d776dc9d5c5322e81b56272728325990ed6892bb/env.js/buggy/build/runtest/env.js