var n4, ie, w3c;

function init()	{
	n4 = document.layers;
	ie = document.all;
	w3c = document.documentElement;
}

function showNav()	{
	if(ie)	{
		document.all.navi.style.visibility = 'visible';
	}	else if(w3c)	{
		document.getElementById('navi').style.visibility = 'visible';
	}
}

function hideNav()	{
	if(ie)	{
		document.all.navi.style.visibility = 'hidden';
	}	else if(w3c)	{
		document.getElementById('navi').style.visibility = 'hidden';
	}
}