anchor.diff:  
   String refresh_on = (String) request.getSession().getAttribute("refresh");
   
  +String size = new Integer(list.size()).toString();
   
   
   boolean show_refresh_button = true;
  
positive.code:   <script type="text/javascript" src="<%= request.getContextPath() %>/js/script.js"></script>
    <script type="text/javascript" src="<%= request.getContextPath() %>/js/search.js"></script>
    <script type="text/javascript" src="<%= request.getContextPath() %>/js/dropdown.js"></script>
  </head>
  
  <%
  
negative.code: 		    <tr>
  			 
  			 <td>
  			 <input type="checkbox" name="<%=checkbox_name%>" id="<%=checkbox_name%>" value="<%=idx2_str%>" />
  			 </td>
  
  			 <td class="datacoldark"><%=source_namespace%></td>
  