function menuOver(elem){elem.style.backgroundColor="#C0C0C0"; elem.style.color="#E6E6E6";}
function menuOut(elem){elem.style.backgroundColor="#E6E6E6"; elem.style.color="#000000";}
function menuUp(link){
  window.location.href = link;
}