add:   this.timer = window.setTimeout(ajax_spell.timedOut,13000); 
context:   this.run = function(){    ajax_spell.setState('run');    ajax_spell.textboxObj.disabled = true;    ajax_spell.editbarObj.style.visibility = 'hidden';    var ajax = new sack(ajax_spell.handler);    ajax.AjaxFailedAlert = '';    ajax.encodeURIString = false;    ajax.onCompletion    = this.start;    ajax.runAJAX('call=check&utf8='+ajax_spell.utf8ok+                 '&data='+encodeURIComponent(ajax_spell.textboxObj.value));  };
meta: 5490	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5490/54d2f94854875c481eb511d09004175a29c7ef4d/spellcheck.js/clean/lib/scripts/spellcheck.js