function hide_submenus() {
  submenus = $$('.submenu');
  for ( var i=0; i < submenus.length; i++ ) {
    submenus[i].hide();
  }
}
function show_submenu(submenu) {
  $(submenu).show();
}
function hide_submenu(submenu) {
  $(submenu).hide();
}