function nav_hover()
{
  $(this).children().addClass("nav_hover");
  $(this).children().removeClass("button");
}

function nav_unhover()
{
  $(this).children().addClass("button");
  $(this).children().removeClass("nav_hover");
}

function init()
{
  $("#nav a").hover(nav_hover, nav_unhover);
  $("#nav a").children().addClass("button");
}

$(init);