// menu.js by Peter Chamberlin 2008
// feel free to use this in any way you like - it's not too tricky!

function hideMenu(i) {

	// DOM3
	if (document.getElementById) {
	document.getElementById(i).style.display = 'none';
	} else {
		// NS4
		if (document.layers) {
		document.getElementById(i).display = 'none';
		} else {
		// IE4
		document.all.getElementById(i).style.display = 'none';
		}
	}
}

function showMenu(num) {

	// DOM3
	if (document.getElementById) {
	document.getElementById(num).style.display = 'block';
	} else {
		// NS4
		if (document.layers) {
		document.num.display = 'block';
		} else {
		// IE4
		document.all.num.style.display = 'block';
		}
	}
}

function toggleMenu(num) {

	for (i=0; document.getElementById(i); i++) {
	hideMenu(i);
	}
	showMenu(num);
}