"; document.getElementById("tocbox").innerHTML += toc; } if (window.addEventListener) window.addEventListener("load", injectToc, false); else if (window.attachEvent) window.attachEvent("onload", injectToc);