<!--
// Function to show a menu
function showLayer(layerid) {
    var layer = document.getElementById(layerid); 
    layer.style.visibility = "visible"; 
}

// Function to hide a menu
function hideLayer(layerid) { 
    var layer = document.getElementById(layerid);
    layer.style.visibility = "hidden";
}
//-->