var Menu;

function showmenu(id){
if (Menu){ Menu.style.display='none'; }
Menu=document.getElementById(id)
Menu.style.display='';
}

/*-------------------------------------------------*/

var menu_3;

function show(id){
if (menu_3){ menu_3.style.display='none'; }
menu_3=document.getElementById(id)
menu_3.style.display='';
}

/*-------------------------------------------------*/

var menu_31;

function hid(id){
if (menu_31){ menu_31.style.display=''; }
menu_31=document.getElementById(id)
menu_31.style.display='none';
}

/*-------------------------------------------------*/