 var docRequest = new Ajax({ method: 'get', autoCancel: true, onComplete: Docs.update, isSuccess: function() { return (!this.status && location.protocol == "file:" || (this.status >= 200) && (this.status < 300)); } }); 
if (location.protocol == 'file:') Docs.local(); var docRequest = new Ajax({method: 'get', autoCancel: true, onComplete: Docs.update}); 
	start: function(){			var docRequest = new Ajax({			method: 'get',			autoCancel: true, 			onComplete: Docs.update,			isSuccess: function() {				return (!this.status && location.protocol == "file:" || (this.status >= 200) && (this.status < 300));			}		});				var links = $$('#menu a.script');		var parents = $$('#menu h3');				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.setURL(path).send();		});				var link = $E('#menu a[href=' + window.location.hash + ']') || $E('#menu a');		link.fireEvent('click');			},
9299	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9299/99ed6264f4b5ca492b1aa96559a57786d199c27e/docs.js/clean/Docs/assets/docs.js