rem: setTimeout(cronjob, that.getRefresh); 
add: setTimeout(cronjob, that.getRefresh()); 
context:     var cronjob = function () {      var last = cron[id];      if(!last || last == lasttime) {        that.refreshDocument(doc);        lasttime = new Date().valueOf();        cron[id] = lasttime;        setTimeout(cronjob, that.getRefresh);      }    };
meta: 4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4040/facd4869ff3b083d21afb437ee474592eec22518/itsalltext.js/buggy/chrome/content/itsalltext.js