is = new BrowserDetect();

var curr_nav, default_nav, hidenavinterval;
var timeout_period = 50;

function setnav(section)
{
	curr_nav = section + '_nav';
	default_nav = section + '_nav';
	show(default_nav);
}

function change_nav(theNav)
{
	if (theNav == curr_nav)
	{
		// Do nothing
	} else {
		change(theNav);
	}
}

function reset_nav()
{
	hidenavinterval = setTimeout('reset_nav_fun()', timeout_period);
}

function reset_nav_fun()
{
	hide(curr_nav);
	show(default_nav);
	curr_nav = default_nav;
}

function change(theNav)
{
	hide(curr_nav);
	show(theNav);
	curr_nav = theNav;
	clearTimeout(hidenavinterval);
}

function hide(theElement)
{
	var current = getElement(theElement);
	if (document.layers) current.visibility = 'hide';
	else current.style.visibility = 'hidden';
}

function show(theElement)
{
	var next = getElement(theElement);
	if (document.layers) next.visibility = 'show';
	else next.style.visibility = 'visible';		
}