var refresh = that.preferences.data.refresh; 
var refresh = that.preferences.refresh; 
  that.getRefresh = function() {    var refresh = that.preferences.data.refresh;    var retval = Math.round((1000*refresh) + (1000*Math.random()));    //that.debug('refresh in',retval);    return retval;  };
4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4040/bff2f65be18c7af8efd7bc0fe752d204210ff3a4/itsalltext.js/buggy/chrome/content/itsalltext.js