anchor.diff:                      <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>
  +                    <td>
  +                        <script type="text/javascript">
  +                            var format = new SimpleDateFormat();
  +                            var pattern = "yyyy-MM-dd HH:mm:ss";
  +                            format.applyPattern(pattern); 
  +                            document.write(format.format(new Date(${mario_server_state.time_stamp})))
  +                        </script>
  +                    </td>                   
                       
                   </tr>
               </c:forEach>
  
positive.code: <html>
  <head>
      <title>服务器状态信息</title>
      <script type="text/javascript">
      $(document).ready(function(){
      
  
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>
  