function menu_open(div) {
	if(document.getElementById(div).style.display == "block") { 
		document.getElementById(div).style.display = "none"; 
	} else { 
		document.getElementById(div).style.display = "block"; 
	}
	return false; 
}