anchor.diff:        $("table.trips").show();
         $('a.new').show(); 
         $('a.new').prev("hr").show();
  -      // console.log ('scroll_positions in load_index_trips', scroll_positions);
         if (start_time) $("#calendar").weekCalendar("gotoWeek", start_time);
         $("#page-header h1").html("View Trips");
       }
  
positive.code:           $.getJSON('<%= trips_path :json %>',
              calendar_range,
              function(data, textStatus, jqXHR){  
                // console.log ('scroll_positions in getJSON', scroll_positions);
                
                // we probably didn't have the right range before, so now  we should update the state
                if ( on_trip_index() ) replace_index_state();
  
negative.code: 
      window.onpopstate = function(event) {
        if (event.state) {
          scroll_positions = event.state['scroll_positions'];
          if (event.state['index']) load_index_trips(event.state['index'].start * 1000);
          if (event.state.edit) $.get(event.state.edit, function(data){ load_edit_trip(data.form) }, "json");
  