function showmenu(num) {
	var menu = document.getElementById(num);
	if (menu.style.display=='none') {
		menu.style.display='block';
	}
	else {
		menu.style.display='none';
	}
 }