<!-- Code used to draw the menu images: -->
var buttons = new Array ();
var countButton = 0;

function CreateButton (nameButton, ext)
{
  if ( SupportDHTML ())
  {
    if (typeof (ext) == "undefined")
      ext = ".png";
    this.off = new Image ();
    this.on = new Image ();
    this.off.src = nameButton + ext;
    this.on.src = nameButton + "D" + ext;
  } // if
}

function AddGraph (nameButton, ext)
{
  countButton++;
  buttons [countButton] = new CreateButton (nameButton, ext);
  return countButton;
}

function OnSelectImg(obj, ID)
{
  if ( SupportDHTML ())
  {
    var e;
    e = obj ? obj : window.event ? window.event.srcElement : window.target;
    if (e.tagName == "IMG" || e.tagName == "INPUT")
      e.src = buttons [ID].on.src;
    else
      e.style.backgroundImage = "url(" + buttons [ID].on.src + ")";
  } // if
}

function OnLeaveImg(obj, ID)
{
  if ( SupportDHTML ())
  {
    var e;
    e = obj ? obj : window.event ? window.event.srcElement : window.target;
    if (e.tagName == "IMG" || e.tagName == "INPUT")
      e.src = buttons [ID].off.src;
    else
      e.style.backgroundImage = "url(" + buttons [ID].off.src + ")";
  } // if
}

function OnSelectButton(obj, ID)
{
  if ( SupportDHTML ())
  {
    var e;
    e = obj ? obj : window.event ? window.event.srcElement : window.target;
    if (e.tagName == "IMG" || e.tagName == "INPUT")
      e.src = buttons [ID].on.src;
  } // if
}

function OnLeaveButton(obj, ID)
{
  if ( SupportDHTML ())
  {
    var e;
    e = obj ? obj : window.event ? window.event.srcElement : window.target;
    if (e.tagName == "IMG" || e.tagName == "INPUT")
      e.src = buttons [ID].off.src;
  } // if
}