document.getElementsByTagName("html")[0].className = "hasjs";
