1 javascript code function escapeHTML(value)
3 javascript code return String(value).replace(/[<>&"']/g, replaceChars);
6 javascript code window.onerror = onError;
8 javascript code if (document.documentElement.getAttribute("debug") == "true")
9 javascript code toggleConsole(true);