<!--
function ocultamenu()
{
  var menu = document.getElementById("productes");
  menu.style.visibility = "hidden";
}
function desplega()
{
  var menu = document.getElementById("productes");
    if(menu.style.visibility == "hidden"){
      menu.style.visibility = "visible";
    }
    else
	{
      menu.style.visibility = "hidden";
    }
}
//-->