if (location.protocol == 'file:') Docs.local(); var docRequest = new Request({autoCancel: true, onSuccess: Docs.update}); var parents = $$('#menu h3'), links = $$('#menu a.script'); 
if (location.protocol == 'file:') Docs.local(); var docRequest = new Request({autoCancel: true, onSuccess: Docs.update}); var parents = $$('#menu h3'), links = $$('#menu a.script'); 
  start: function(){    if (location.protocol == 'file:') Docs.local();	    var docRequest = new Request({autoCancel: true, onSuccess: Docs.update});    var parents = $$('#menu h3'), links = $$('#menu a.script');    links.addEvent('click', function(){      var path = this.get('href').split('#')[1] + '.md';      $('docs-wrapper').set('html', '<h2>Loading...</h2>');      parents.removeClass('selected');      this.getParent('h3').addClass('selected');      docRequest.GET(path);    });    var link = $E('#menu a[href=' + window.location.hash + ']') || $E('#menu a');    link.fireEvent('click');  },
7087	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7087/bb7ba4f85620c5ad07e48227c0a1b87153a9c92a/docs.js/clean/Docs/assets/docs.js