function showmenu(menu_name)
{
	document.getElementById('services').style.visibility="hidden"
	document.getElementById('clients').style.visibility="hidden"
	//document.getElementById('developers').style.visibility="hidden"
	//document.getElementById('glossary').style.visibility="hidden"

	switch(menu_name)
	{
		case 1:
			document.getElementById("services").style.visibility="visible"
			break    
		case 2:
			document.getElementById("developers").style.visibility="visible"
			break
		case 3:
			document.getElementById("glossary").style.visibility="visible"
			break
		case 3:
			document.getElementById("clients").style.visibility="visible"
			break
	}
	
		

}
