function overMenu(menu) {
  menu.style.cursor='pointer';
  menu.style.backgroundImage="url(images/button_back.gif)";
  menu.style.backgroundRepeat="repeat-x";
  if (link = menu.firstChild) {
    link.style.color = "#ffffff";
  }
}
function offMenu(menu) {
  menu.style.backgroundImage="";
  if (link = menu.firstChild) {
    link.style.color = "#800101";
  }
}
function clickMenu(menu) {
  if (link = menu.firstChild) {
    window.location=link.href;
  }
}