<!--
var checkIt;
function showHide(m){
var allDivs = document.getElementById("nav").getElementsByTagName("div");
	for (var j=0; j<allDivs.length; j++) {
		allDivs[j].style.visibility='hidden';
	}
	document.getElementById(m).style.visibility='visible';
	clearTimeout(checkIt);
}
function Hide(){
var allDivs = document.getElementById("nav").getElementsByTagName("div");
	for (var j=0; j<allDivs.length; j++) {
		allDivs[j].style.visibility='hidden';
	}
}
function checkUserInput()
{
	if (checkIt) clearTimeout(checkIt);
	checkIt = setTimeout('Hide()',300);
}
// -->