function openMenu(domid) {
	var menu = document.getElementById(domid);
	if (menu.style.display != 'block') {
		menu.style.display = 'block';
	}
}

function closeMenu(domid) {
	var menu = document.getElementById(domid);
	if (menu.style.display != 'none') {
		menu.style.display = 'none';
	}
}