function display(ID)
{
	nummenu=9;
	for (i=1; i<=nummenu; i++)
	{
		document.getElementById('a'+i).style.display="none";
		document.getElementById('a'+i).style.zIndex="10";
	}
	document.getElementById(ID).style.display="block";
}

function hide()
{
	nummenu=9;
	for (i=1; i<=nummenu; i++)
	{
		document.getElementById('a'+i).style.display="none";
		document.getElementById('a'+i).style.zIndex="0";
	}
}
