function navigation(id) {
	for (var i = 1; i<=10; i++) {
		if (document.getElementById('snavi'+i)) { 
			document.getElementById('snavi'+i).style.display='none'; 
		}
	}
	var d = document.getElementById(id);
	if (d) {
		d.style.display='block';
	}
}

function zeigeMenu(id) {
	try {
		window.clearTimeout(closeMenu);
	} catch(e) {};
	navigation(id);
}

function setTimer() {
	closeMenu=window.setTimeout('navigation()', 500);	
}