function chMenu(menu) {
      if (!menu) {
      	menu = "/shaar/emptyMenu.html";
      }

	if ((parent.frames["menuAg"]) && (parent.frames["menuAg"].location.href.indexOf(menu) == -1)) {
		parent.frames["menuAg"].location.replace(menu);
	}

}