<!--
var menu = top.frames.menu
if (menu) {
	if (menu.Menu) {
		menu.Menu.selectActivePage()
	}
}

function precedingPage() {
	if (menu) {
		if (menu.Menu) {
			menu.Menu.openPreceding()
		}
	}
}

function followingPage() {
	if (menu) {
		if (menu.Menu) {
			menu.Menu.openFollowing()
		}
	}
}

function pageByName(name) {
	if (menu) {
		if (menu.Menu) {
			menu.Menu.openItemByName(name)
		}
	}
}
//-->