<!--

function show_menu(intMenuID)
{
	for (intCounter = 1; intCounter <= 4; intCounter++)
	{
		if (document.getElementById)
		{
			document.getElementById('submenu' + intCounter).style.visibility = (intMenuID == intCounter)?'visible':'hidden';
		}
		else if (document.all)
		{
			document.all['submenu' + intCounter].style.visibility = (intMenuID == intCounter)?'visible':'hidden';
		}
		else if (document.layers)
		{
			document.layers['submenu' + intCounter].visibility = (intMenuID == intCounter)?'visible':'hidden';
		}
	}
}

//-->