anchor.diff:  
   String refresh_on = (String) request.getSession().getAttribute("refresh");
   
  +String size = new Integer(list.size()).toString();
   
   
   boolean show_refresh_button = true;
  
positive.code: 	    location.href = "#" + anchor;
  	}
  
  
   
  </script> 
  
  
negative.code: 		    <tr>
  			 
  			 <td>
  			 <input type="checkbox" name="<%=checkbox_name%>" id="<%=checkbox_name%>" value="<%=idx2_str%>" />
  			 </td>
  
  			 <td class="datacoldark"><%=source_namespace%></td>
  