function menu_hide(menu)
{
  save_menu = menu
  loc = window.location.href;
  links = $(menu + " a");
  match = links.filter(function (){ return this.href==loc;});
  match.parents().filter("UL").show(); //if a submenu link, than show parent UL
  match.parents().filter("LI").children().show();//if a main menu link, show children
}