function setmhsc(submenu)
 {
    var the_timeout;
    if( ! parent.menu.loc ) 
        {
	parent.menu.location.replace("menus/" + submenu + ".html")
	} 
    else 
	{
	    parent.menu.location.replace("menus/" + submenu + ".html")
	}
    if( ! parent.banner.PresentLoc ) 
		{
	    the_timeout = setTimeout( "setmhsc('" + submenu + "');", 5000 );
		} 
    else 
	    {
		if(parent.banner.PresentLoc != 'mhsc' )
			{
	   		parent.banner.location.replace("../bannermhsc.htm");
		    }
	    }
	}

function setmennos(submenu)
 {
    var the_timeout;
    if( ! parent.menu.loc ) 
        {
		parent.menu.location.replace("menus/" + submenu + ".html")
        } 
    else
		{
			parent.menu.location.replace("menus/" + submenu + ".html")
		}
    if( ! parent.banner.PresentLoc ) 
		{
		the_timeout = setTimeout( "setmennos('" + submenu + "');", 5000 );
		} 
    else 
	    {
		if(parent.banner.PresentLoc != 'mennos' )
			{
		   	parent.banner.location.replace("../bannermennos.htm");
		    }
	    }
    }

function setencyclopedia(submenu)
 {
    var the_timeout;

    if( ! parent.menu.loc ) 
        {
	parent.menu.location.replace("menus/" + submenu + ".html")
	} 
    else 
	{
	parent.menu.location.replace("menus/" + submenu + ".html")
	}
    if( ! parent.banner.PresentLoc ) 
	{
	the_timeout = setTimeout( "setencyclopedia('" + submenu + "');", 5000 );
	} 
    else 
	{
	if(parent.banner.PresentLoc != 'encyclopedia' )
		{
		parent.banner.location.replace("../bannerencyclopedia.htm");
		}
	}
    }

function setencyclopediacontents(submenu)
 {
    var the_timeout;

    if( ! parent.menu.loc ) 
        {
	parent.menu.location.replace("../menus/" + submenu + ".html")
	} 
    else 
	{
	parent.menu.location.replace("../menus/" + submenu + ".html")
	}
    if( ! parent.banner.PresentLoc ) 
	{
	the_timeout = setTimeout( "setencyclopediacontents('" + submenu + "');", 5000 );
	} 
    else 
	{
	if(parent.banner.PresentLoc != 'encyclopedia' )
		{
		parent.banner.location.replace("../../bannerencyclopedia.htm");
		}
	}
    }



  if (parent.location.href == self.location.href) {
    window.location.replace('/index.php?content=' + self.location.href);
  }