wgAjaxWatch.timeoutID = window.setTimeout(function() { wgAjaxWatch.inprogress = false; }, 10000); 
function() { wgAjaxWatch.inprogress = false; }, 
	wgAjaxWatch.timeoutID = window.setTimeout(function() { wgAjaxWatch.inprogress = false; }, 10000);
9612	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9612/8f416baead93a48e5799e44b8bd2e2c4859f4e04/ajaxwatch.js/clean/skins/common/ajaxwatch.js