var new_state = hop_location_to_state_history( hash ); var old_state = hop_current_state_history; 
if( hop_hash_historyp( hash ) ) { var new_state = hop_location_to_state_history( hash ); var old_state = hop_current_state_history; 
function hop_eval_history_state( location ) {   var hash = location.hash;   if( hash.length == 0 ) {      hop_state_history_reset();   } else {      var new_state = hop_location_to_state_history( hash );      var old_state = hop_current_state_history;      hop_state_history_update( old_state, new_state );            hop_current_state_history = new_state;   }}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/606d000b7ee6c3ffc566590e6accccd21e6100da/hop.js/clean/share/hop.js