function rollout (no, no_submenu) {
  
  document.getElementById ("menu" + no).style.borderColor = "#eeeeee";
  if (!no_submenu)
    document.getElementById ("rollmenu" + no).style.visibility = "visible";
  
}

function rollin (no, no_submenu) {
  
  document.getElementById ("menu" + no).style.borderColor = "#000000";
  if (!no_submenu)
    document.getElementById ("rollmenu" + no).style.visibility = "hidden";
  
}