function setPage(pageName)
{
	if (parent.nav != null)
		parent.nav.switchHigh(pageName);
}