// JavaScript Documentvar mie =(navigator.appName.indexOf("Microsoft")>=0)
var itemOrig;
function despMenu(nombre,sn)
{
obj = document.all[nombre];
if (sn>0)
   obj.style.visibility = "visible";
else
   obj.style.visibility = "hidden";
}
function destacar(obj, val)
{
if (val==1)
  {
   itemOrig = obj.style.backgroundColor;
   obj.style.backgroundColor="#B0B0B0";
   }
else
   obj.style.backgroundColor= itemOrig;
}