// Función para mostrar el menu desplegable
var t;

function activar()
{
	clearTimeout(t);
}

function hotel()
{
	var capa = document.getElementById('hotel');
    capa.style.visibility = "visible";
}

function restaurant()
{
	var capa = document.getElementById('restaurant');
    capa.style.visibility = "visible";
}

function omgeving()
{
	var capa = document.getElementById('omgeving');
    capa.style.visibility = "visible";
}

function ocultar_submenus()
{

	var capa1 = document.getElementById('hotel');
    capa1.style.visibility = "hidden";
	var capa2 = document.getElementById('restaurant');
    capa2.style.visibility = "hidden";
	var capa3 = document.getElementById('omgeving');
    capa3.style.visibility = "hidden";    
}
function retardo()
{
	t=setTimeout('ocultar_submenus()',800);
}

// fin del menú desplegable