function unhideBody() {
    var bodyElems = document.getElementsByTagName("body");
    bodyElems[0].style.visibility = "visible";
    }