function init() { // quit if this function has already been called if (arguments.callee.done) return; // flag this function so we don't do the same thing twice arguments.callee.done = true; init_page(); }; /* for Mozilla */ if (document.addEventListener) { document.addEventListener("DOMContentLoaded", init, null); } // for Internet Explorer (using conditional comments) /*@cc_on @*/ /*@if (@_win32) document.write("