var timerID    = null;
var timeOut    = 500;

function showDiv(toggle, element) {
	if(toggle == 1) {
		stopTimer();

		hideLayers();

		document.getElementById(element).style.visibility = 'visible';
	} else {
		startTimer();
	}
}

function hideLayers() {
	document.getElementById('nav1').style.visibility = 'hidden';
	document.getElementById('nav2').style.visibility = 'hidden';
	document.getElementById('nav3').style.visibility = 'hidden';
}

function startTimer() {
	timerID = setTimeout("hideLayers()", timeOut);
}

function stopTimer() {
	timerID = clearTimeout(timerID);
}

function highlightInfo(element) {
	object = document.getElementById(element)
	
	if(object.className == 'info') object.className = 'info_up';
	else object.className = 'info';
}