var menuIds=new Array('gallery', 'products', 'bookings');

function hideMenus() {
	for (var i=0;i<menuIds.length;i++)
		document.getElementById(menuIds[i]).style.display='none';
};

function showMenu(m) {
	hideMenus();
	var el=document.getElementById(m);
	if (el) el.style.display='inline';
};