document.getElementsByTagName("html")[0].style.visibility = "visible";