function menu_show(id){
	if(document.getElementById(id).style.display == 'none'){
		document.getElementById(id).style.display = '';
	}
}
function menu_hide(id){
		document.getElementById(id).style.display = 'none';
}