if (!Docs.scrolling) Docs.scrolling = new Fx.Scroll('docs', {'offset': {x: 0, y: -4}}); 
if (!Docs.scrolling) Docs.scrolling = new Fx.Scroll('docs', {'offset': {x: 0, y: -4}}); 
  scroll: function() {    if (!Docs.scrolling) Docs.scrolling = new Fx.Scroll('docs', {'offset': {x: 0, y: -4}});    $$('#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/bb7ba4f85620c5ad07e48227c0a1b87153a9c92a/docs.js/clean/Docs/assets/docs.js