scriptInfo.unshiftFromSourceBufferToScriptNumbering = function(lineNo) 
scriptInfo.unshiftFromSourceBufferToScriptNumbering = function(lineNo) 
		scriptInfo.unshiftFromSourceBufferToScriptNumbering = function(lineNo) 		{			return lineNo - this.evalLineNumber + 1;		}
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/be05bb1b5ce9dc07f6f4f994ca42945edd646c04/firebug-service.js/buggy/extension/components/firebug-service.js