public static void htmlWriteJavascript(org.powerloom.PrintableStringWriter stream, String js) {
    {
      stream.println("<SCRIPT LANGUAGE=\"JAVASCRIPT\"><!-- Hide from old browsers");
      stream.println(js);
      stream.println("// end hiding from old browsers -->");
      stream.println("</SCRIPT>");
    }
;
    return;
  }