/**********************************************
FILETI Front End - Javascript
Name       : menu.js
Designer   : Ana Ghirello
Developer  : Francisco J. Rey
URL        : www.GhirelloDesign.com
Date       : 10 Sep 2007
Updated by : Francisco J. Rey
***********************************************/

function changeMenuTitle(divname, text, status)
{
  var elem;
  if( document.getElementById ) // this is the way the standards work
    elem = document.getElementById(divname);
  else if( document.all ) // this is the way old msie versions work
    elem = document.all[divname];
  else if( document.layers ) // this is the way nn4 works
    elem = document.layers[divname];
  elem.innerHTML    = text;
  elem.style.cursor = (status) ? "pointer" :"default";
}