function toggle_menu(node) {
  var cn = node.className;
  if (cn.indexOf('over') == -1) {
    node.className += " over";
  } else {
    node.className = node.className.replace("over", "");
  }
  return false;
}