<!--
function showMenu(id) {
	document.getElementById(id).style.display = '';
}

function hideMenu(id) {
	document.getElementById(id).style.display = 'none';
}

function toggleMenu(id) {
	if (document.getElementById(id).style.display == 'none') {
		showMenu(id);
	} else {
		hideMenu(id);
	}
}
//-->