function getElement(id)
{
	if (document.getElementById)
		return document.getElementById(id)
	if (document.all)
		return document.all[id]
	if (document.layers)
		return document.layers[id]
	return null
}

function hideMenus()
{	
	i = 1;
	while (getElement('menu' + i) != null)
	{
		getElement('menu' + i).style.display = 'none'
		i++
	}
}

function showMenu(id)
{
	hideMenus()
	getElement('menu' + id).style.display = ''
}

function hideMenusold()
{	
	i = 1;
	while (document.all['menu' + i])
	{
		document.all['menu' + i].style.display = 'none';
		i++;
	}
}

function showMenuold(id)
{
	hideMenus()
	document.all['menu' + id].style.display = '';	
}