anchor.addEvent('click', function(e) { e.stop(); var lnk = $(anchor.href.split('#')[1]); Docs.scrolling.toElement(lnk); }); }); 
anchor.addEvent('click', function(e) { e.stop(); var lnk = $(anchor.href.split('#')[1]); Docs.scrolling.toElement(lnk); }); }); 
		$$('#submenu a').each(function(anchor) {			anchor.addEvent('click', function(e) {				e.stop();				var lnk = $(anchor.href.split('#')[1]);				Docs.scrolling.toElement(lnk);			});		});
9299	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9299/bc740cadb1a3e0cfcab41f3c23ce23ddd071cd6a/docs.js/clean/Docs/assets/docs.js