function HideDiv(a){document.getElementById(a).style.visibility="hidden";document.getElementById(a).style.display="none"}function ShowDiv(a){document.getElementById(a).style.visibility="visible";document.getElementById(a).style.display="block"};