anchor.diff:        out.print("<td>" + user + "</td>"); 
         out.print("</tr>");
       }
  +
  +    private void printNavigation(int pageno, int size, int max, String search, 
  +                                 JspWriter out) throws IOException {
  +      int numIndexToShow = 5; // num indexes to show on either side
  +
  +      //TODO check this on boundary cases
  +      out.print("<center> <");
  +
  +      // show previous link
  +      if (pageno > 1) {
  +        out.println("<a href=\"jobhistory.jsp?pageno=" + (pageno - 1) + "&search=" + search + "\">Previous</a>");
  +      }
  +
  +      // display the numbered index 1 2 3 4
  +      int firstPage = pageno - numIndexToShow;
  +      if (firstPage < 1) {
  +        firstPage = 1; // boundary condition
  +      }
  +
  +      int lastPage = pageno + numIndexToShow;
  +      if (lastPage > max) {
  +        lastPage = max; // boundary condition
  +      }
  +
  +      // debug
  +      out.println("<!--DEBUG : firstPage : " + firstPage + ", lastPage : " + lastPage + " -->");
  +
  +      for (int i = firstPage; i <= lastPage; ++i) {
  +        if (i != pageno) {// needs hyperlink
  +          out.println(" <a href=\"jobhistory.jsp?pageno=" + i + "&search=" + search + "\">" + i + "</a> ");
  +        } else { // current page
  +          out.println(i);
  +        }
  +      }
  +
  +      // show the next link
  +      if (pageno < max) {
  +        out.println("<a href=\"jobhistory.jsp?pageno=" + (pageno + 1) + "&search=" + search + "\">Next</a>");
  +      }
  +      out.print("></center>");
  +    }
   %> 
   </body></html>
  
positive.code:       }
      });
  
      out.print("<table align=center border=2 cellpadding=\"5\" cellspacing=\"2\">");
      out.print("<tr><td align=\"center\" colspan=\"9\"><b>Available Jobs </b></td></tr>\n");
      out.print("<tr>");
      out.print("<td>Job tracker Host Name</td>" +
                "<td>Job tracker Start time</td>" +
  
negative.code: <center>
  <%	
        printJob(trackerHostName, trackerStartTime, jobId,
                 jobName, userName, new Path(jobFile.getParent(), encodedJobFileName), 
                 out) ; 
  %>
  </center> 
  <%
      } // end while trackers 
      out.print("</table>");
  
      // show the navigation info (bottom)
      printNavigation(pageno, size, maxPageNo, search, out);
  %>
  <%!
      private void printJob(String trackerHostName, String trackerid,
  