 docRequest.setURL(path).send(); 
		links.addEvent('click', function(){			var path = this.get('href').split('#')[1] + '.md';			docRequest.setURL(path).send();			parents.removeClass('selected');			this.getParent('h3').addClass('selected');		});
9494	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9494/dc6fc33f8de4652f2eeab5e4c10e30b4f5c9129c/docs.js/buggy/Docs/assets/docs.js