<!--
function overlay() {
elem = document.getElementById("overlay");
elem.style.visibility="hidden";
elem = document.getElementById("bodydiv");
elem.style.visibility="visible";
elem = document.getElementById("toprighttext");
elem.style.visibility="visible";
elem = document.getElementById("toprighttext2");
elem.style.visibility="visible";
elem = document.getElementById("maintext");
elem.style.visibility="visible";
elem = document.getElementById("welcome");
elem.style.visibility="visible";
}

//-->