var DHTML = (document.getElementById || document.all || document.layers);


function getObj(name)
{
  if (document.getElementById)
  {
    return document.getElementById(name).style;
  }
  else if (document.all)
  {
    return document.all[name].style;
  }
  else if (document.layers)
  {
    return document.layers[name];
  }
  else return false;
}

function invi(flag)
{
	if (!DHTML) return;
	var x = getObj('menutexto');
	x.visibility = (flag) ? 'hidden' : 'visible'
}