function mnav(id) {
var m = document.getElementById(id);
	for (var a = 1; a<=10; a++) {
		if (document.getElementById('menu'+a)) {document.getElementById('menu'+a).style.display='none';}
	}
if (m) {m.style.display='block';}
}