return lineNo; 
return lineNo; 
function shiftNone(lineNo){	return lineNo;}
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/2e2e6e5e5acba26e69243682fad1c16a0bea8a6a/firebug-service.js/clean/extension/components/firebug-service.js