/*
Event.observe(window, 'load', function() {
$('menu').observe('mouseover', function(event) {
  var over_link;
  over_link = event.findElement('a');
if (over_link) {
  new Effect.Highlight(over_link, {startcolor:'#d50d0d', duration: 0.2});
  }
});
});*/