function formatScriptInfo(scriptInfo) 
function formatScriptInfo(scriptInfo) 
function formatScriptInfo(scriptInfo) {	return scriptInfo.script.tag+"@("+scriptInfo.baseLineNumber+"-"+(scriptInfo.baseLineNumber+scriptInfo.lineExtent)+")"+ scriptInfo.url+":"+scriptInfo.typename;}
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/be05bb1b5ce9dc07f6f4f994ca42945edd646c04/firebug-service.js/buggy/extension/components/firebug-service.js