<!--
function showMenu(elem) {
	document.getElementById(elem).style.visibility = 'visible';}
function hiddenMenu(elem) {
	document.getElementById(elem).style.visibility = 'hidden';}
-->