function menufix(str){
  str=ver+"menu_"+str+".html";
  if (nav.location.href.split("/").pop()!=str) nav.location.href=str;
}