* on Firefox. It would also be cleaner to use window.execScript on
* platforms that support it (IE and Chrome). However, trying this causes
* IE 6 (and possibly others) to emit "error 80020101", apparently due to
* something objectionable in the compiler's output JavaScript.
*/
out.indentIn();
out.newlineOpt();
out.print("var head = document.getElementsByTagName('head').item(0);");
out.newlineOpt();
out.print("var script = document.createElement('script');");
out.newlineOpt();