hop_eval_history_interval = setInterval( fun, 100 ); 
hop_eval_history_interval = setInterval( fun, 200 ); 
function hop_retry_eval_history_state( count, old_state, new_state ) {   var init = false;   var fun = function() {      if( !init ) {	 /* skip the first call, we are not ready yet */	 init = true;	 return;      }      var c = hop_state_history_update( old_state, new_state );      /* the interval is cancelled if any of the following holds: */      /*   * c == 0: the update complete                          */      /*   * c == count: no progress has been made                */      /*   * hop_eval_history_interval.invalid == false: the      */      /*     has changed again.                                   */      if( (c == 0) || (c == count) || hop_eval_history_interval.invalid ) {	 /* no progress as been made, or the update */	 /* complete, we cancel the interval        */	 clearInterval( hop_eval_history_interval );      }   }   hop_eval_history_interval = setInterval( fun, 100 );   hop_eval_history_interval.invalid = false;}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/a3ec8117a7c9dfa38ec622eb016f9c5b604a1831/hop.js/clean/share/hop.js