function hideDiv(a){document.getElementById(a).style.visibility="hidden";document.getElementById(a).style.display="none"}function showDiv(a){document.getElementById(a).style.visibility="";document.getElementById(a).style.display=""}function showHideDiv(a){if(getById(a).style.visibility!="hidden"){hideDiv(a)}else{showDiv(a)}};