var current;var hover;var menutimeout;function menu_over() {  clearTimeout(menutimeout);  current.removeClassName("current-nav");  hover.removeClassName("current-nav");  this.addClassName("current-nav");  hover = this;}function menu_out() {  menutimeout = setTimeout(menu_reset.bind(this), 750);}function menu_reset() {  if (this != current) {    current.addClassName('current-nav');    hover.removeClassName('current-nav');    hover = current;  }}function init_menu() {  current = $$(".main_nav.current-nav")[0];  hover = $$(".main_nav.current-nav")[0];  $$(".main_nav").each(function(e) {    Event.observe(e, "mouseover", menu_over.bind(e));    Event.observe(e, "mouseleave", menu_out.bind(e));  });}Event.observe(window, "load", init_menu);