function open_menu(a){
	if (document.getElementById(a).style.display==""){
		document.getElementById(a).style.display="none";
	}else{
		document.getElementById(a).style.display=""
	}
}