function switch_menu(id){
    var i;
    for(i=0;i<aMenus.length;i++)document.getElementById('submenu'+aMenus[i]).className = 'menu0';
    document.getElementById('submenu'+id).className = 'menu1';
}