if (window.getId == null)
{
	function getId(id)
	{
		return document.getElementById(id);
	}
}

function desplegar_menu(id)
{
	for (i = 1; i < 6; i++)
	{
		getId('m' + i).style.display = 'none';
	}
	getId(id).style.display = 'block';
}

function ocultar_menu(id)
{
	getId(id).style.display = 'none';
}