<!--
var id = null;
function menu_start(id) {
 document.getElementById(id).style.visibility = "visible";
}

function menu_stop(id) {
 document.getElementById(id).style.visibility = "hidden";
}
// -->