docs: public static void writeTimeJavaScript(Date date, Sequence sequence, Appendable out, Appendable scriptOut) throws IOException {
  		if(date==null) out.append("&#160;");
  		else {
  			String timeString = SQLUtility.getTime(date.getTime(), false);
  			long id = sequence.getNextSequenceValue();
  			String idString = Long.toString(id);
  			// Write the element
  			out.append("<span id=\"chainWriterTime");
  			out.append(idString);
  			out.append("\">");
  			encodeTextInXhtml(timeString, out);
  			out.append("</span>");
  			// Write the shared script only on first sequence
  			if(id==1) {
  				scriptOut.append("  function chainWriterUpdateTime(id, millis, serverValue) {\n"
  							   + "    if(document.getElementById) {\n"
  							   + "      var date=new Date(millis);\n"
  							   + "      var hour=date.getHours();\n"
  							   + "      var clientValue=(hour<10)?\"0\":\"\";\n"
  							   + "      clientValue+=hour+\":\";\n"
  							   + "      var minute=date.getMinutes();\n"
  							   + "      if(minute<10) clientValue+=\"0\";\n"
  							   + "      clientValue+=minute+\":\";\n"
  							   + "      var second=date.getSeconds();\n"
  							   + "      if(second<10) clientValue+=\"0\";\n"
  							   + "      clientValue+=second;\n"
  							   + "      if(clientValue!=serverValue) document.getElementById(\"chainWriterTime\"+id).firstChild.nodeValue=clientValue;\n"
  							   + "    }\n"
  							   + "  }\n");
  			}
  			scriptOut.append("  chainWriterUpdateTime(");
  			scriptOut.append(idString);
  			scriptOut.append(", ");
  			scriptOut.append(Long.toString(date.getTime()));
  			scriptOut.append(", \"");
  			encodeJavaScriptInXhtml(timeString, scriptOut);
  			scriptOut.append("\");\n");
  		}
  	}