var timerState = false;

function menu_on(which) {
	menu_off();
	document.all[which].style.visibility='visible';
}

function menu_off() {
	document.all.menu_inventory.style.visibility='hidden';
	document.all.menu_tents.style.visibility='hidden';
	document.all.menu_gallery.style.visibility='hidden';
	document.all.menu_new.style.visibility='hidden';
	document.all.menu_info.style.visibility='hidden';
}

function stop_timer () {
	if (timerState) {
		clearTimeout(timerApp);
		timerState = false;
	}
}

function start_timer () {
	stop_timer();
	timerState = true;
	timerApp = setTimeout('menu_off()',2000);
}