function menuShow(elemID) {document.getElementById(elemID).style.visibility = 'visible';}
function menuHide(elemID) {document.getElementById(elemID).style.visibility = 'hidden';}