anchor.diff:  
           out.print("   top10");
   
  -	tmpl.getLogger().notice("commit", "  TOP10  "+msgid+"  "+user.getNick());
  +	tmpl.getLogger().notice("notop", "  TOP10  "+msgid+"  "+user.getNick());
   	pst.close();
   
   	db.commit();
  
positive.code:    .
  <form method=POST action="notop.jsp">
  <input type=hidden name=msgid value="<%= msgid %>"><br>
  <input type=submit value="Submit/">
  </form>
  <%
     } else {
  
negative.code: %>
  
  <%
     if (request.getMethod().equals("GET")) {
     	if (request.getParameter("msgid")==null)
  		throw new MissingParameterException("msgid");
  
  