anchor.diff:  		    String idx_str = Integer.toString(idx);
   		    if (page_num != idx) {
   		      %>
  -			<a href="<%=request.getContextPath() %>/pages/resolved_value_set.jsf?page_number=<%=idx_str%>"><%=idx_str%></a>
  +			<a href="<%=request.getContextPath() %>/pages/resolved_value_set.jsf?nav_type=valuesets&page_number=<%=idx_str%>"><%=idx_str%></a>
   			&nbsp;
   		      <%
   		    } else {
  
positive.code:         %>
            &nbsp;
            <i>
              <a href="<%=request.getContextPath() %>/pages/resolved_value_set.jsf?page_number=<%=next_page_num_str%>">Next</a>
            </i>
          <%
            }
  
negative.code:         %>
          &nbsp;
          <i>
            <a href="<%=request.getContextPath() %>/pages/resolved_value_set.jsf?nav_type=valuesets&page_number=<%=prev_page_num_str%>">Prev</a>
          </i>&nbsp;
          <%
            }
  