window.onload = function() { if (document.documentElement && document.createElement) { document.getElementsByTagName("body")[0].className="js-enabled"; var aHeaders, eHeader, eParentHeader, eHeaderP, i; function getBackToTopLink() { var p, a; p = document.createElement("p"); p.className = "back-to-top" a = document.createElement("a"); a.href = "#"; a.appendChild(document.createTextNode(backtotoptext)); p.appendChild(a); return p; } aHeaders = document.getElementsByTagName("h2"); if (aHeaders.length > 0) { for (i=0; i