function activate_menu(amenu) {
  if (!(null==active_menu)) {
    active_menu.className='menu_1';
    active_menu=null;
  }

  amenu.className='menu_1_hover';
  active_menu=amenu;
}

function deactivate_menu(amenu) {
  active_menu.className='menu_1';
  active_menu=null;
}

var active_menu=null;