// JavaScript Document
<!-- 
function showmenu(){
	document.getElementById('hidden_menu').style.visibility = "visible";
}

function hidemenu(){
	document.getElementById('hidden_menu').style.visibility = "hidden";
}
function highlight(id){
	document.getElementById(id).style.backgroundColor = "#d4d0c1";
}
function unhighlight(id){
	document.getElementById(id).style.backgroundColor = "#C2BDA7";
}
-->