<!--
function getEl(id)
{
	var el;
	if (document.getElementById)
	{
		el = document.getElementById(id).style;
	}
	else if (document.all)
	{
		el = document.all[id].style;
	}
	else if (document.layers)
	{
		el = document.layers[id];
	}
	return el;
}

function show()
{
	var menu = getEl("dd_menu");
	menu.visibility = "visible";
}

function hide()
{
	var menu = getEl("dd_menu");
	menu.visibility = "hidden";
}
//-->