anchor.diff:  <html>
   <head>
       <title>服务器状态信息</title>
  +    <script type="text/javascript" src="${ctx}/static/jquery-jsjava/text/Format.js"></script>
  +    <script type="text/javascript" src="${ctx}/static/jquery-jsjava/text/DateFormat.js"></script>
  +    <script type="text/javascript" src="${ctx}/static/jquery-jsjava/text/SimpleDateFormat.js"></script>
       <script type="text/javascript">
       $(document).ready(function(){
       
  
positive.code:                     <td>${mario_server_state.client_number}</td>
                      
                      
                      <td><script type="text/javascript">var unixtime = ${mario_server_state.time_stamp};
                      var unixtimestamp = new Date(unixtime);
                      document.write(unixtimestamp.toLocaleString())</script></td>
                      
                  </tr>
              </c:forEach>
  
negative.code:                     <td>${mario_server_state.outstanding}</td>
                      
                      
                      <td>
                          <script type="text/javascript">
                              var zkid = ${mario_server_state.zxid};
                              document.write("0x" + zkid.toString(16))
                          </script>
                      </td>
                      
                      
                      <td>${mario_server_state.mode}</td>
  