// Menu Toggle Nov 15, 2005

function toggle(menu) {
	
	x = document.getElementById(menu);
	
	if (x.style.display == "block") {
		
		x.style.display = "none";
		
	} else {
	
		x.style.display = "block";
	
	} 
	
}