anchor.diff:    <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>
  +  
  +  
  +  <script type="text/javascript">
  +  
  +	function checkAll() {
  +	
  +	alert("checkAll");
  +	
  +	    var size = document.getElementById("size");
  +      	    var size_str = size.value;
  +	    var m = parseInt(size_str);
  +	    
  +alert("checkAll " + m);	    
  +	    
  +	    var i;
  +	    var j;
  +	    for (i=0; i<m; i++) {
  +	        var checkbox_size_name = "checkbox_size_" + i;
  +	        
  +	        alert(checkbox_size_name);
  +	        
  +	        
  +	        if (document.getElementById(checkbox_size_name) != null) {
  +			var checkbox_size_value = document.getElementById(checkbox_size_name).value;
  +			var n = = parseInt(checkbox_size_value);
  +			for (j=0; j<n; j++) {
  +			   var checkbox_name = "checkbox" + "_" + i + "_" + j;
  +			   var checkbox = document.getElementById(checkbox_name);
  +			   if(checkbox != null) {
  +			   	checkbox.checked = 1;
  +			   }
  +			}
  +	        }
  +	    }
  +	}
  +
  +	function uncheckAll() {
  +	alert("uncheckAll");
  +	
  +	    var size = document.getElementById("size");
  +      	    var size_str = size.value;
  +	    var m = parseInt(size_str);
  +	    
  +alert("uncheckAll " + m);	    	    
  +	    
  +	    var i;
  +	    var j;
  +	    for (i=0; i<m; i++) {
  +	        var checkbox_size_name = "checkbox_size_" + i;
  +	        if (document.getElementById(checkbox_size_name) != null) {
  +			var checkbox_size_value = document.getElementById(checkbox_size_name).value;
  +			var n = = parseInt(checkbox_size_value);
  +			for (j=0; j<n; j++) {
  +			   var checkbox_name = "checkbox" + "_" + i + "_" + j;
  +			   var checkbox = document.getElementById(checkbox_name);
  +			   if(checkbox != null) {
  +			       checkbox.checked = 0;
  +			   }
  +			}
  +	        }
  +	    }
  +	}
  +  
  +</script>  
  +  
   </head>
   
   <%
  
positive.code: 	    location.href = "#" + anchor;
  	}
  
  
   
  </script> 
  
  
negative.code:      <input type="hidden" name="identifier" id="identifier" value="<%=identifier%>" />
       <input type="hidden" name="mapping_version" id="mapping_version" value="<%=mapping_version%>" />
       <input type="hidden" name="mappingKey" id="mappingKey" value="<%=mappingKey%>" />
       <input type="hidden" name="size" id="size" value="<%=size%>" />
  
  
  </h:form>
  
  