<!-- Code used to draw the menu images: -->
var graphics = new Array ();
var countGraph = 0;
var graphIndex, thistimerID;

function CreateGraph (nameGraph, width, height)
{
  if ( SupportDHTML ())
  {
    this.img = new Image ();
    this.img.src = nameGraph;
    this.img.width = width;
    this.img.height = height;
  } // if
}

function AddGraph (nameGraph, width, height)
{
  countGraph++;
  graphics [countGraph] = new CreateGraph (nameGraph, width, height);
}

function ShowGraph(e, ID)
{
  if ( SupportDHTML ())
  {
    if (e.tagName == "IMG") 
    {
      e.src = graphics [ID].img.src;
      if (graphics [ID].img.width > 0)
        e.width = graphics [ID].img.width;
      if (graphics [ID].img.height > 0)
        e.height = graphics [ID].img.height;
    } // if
  } // if
}

function CountGraph ()
{
  return countGraph;
}

function documentOnReadStateChange ()
{
  thistimerID = window.setTimeout ("ShowNext()", 1000);
  graphIndex = 0;
}

function ShowNext ()
{
  window.clearTimeout (thistimerID);
  graphIndex++;
  if (graphIndex > CountGraph ())
    graphIndex = 1;
  imgID.filters[0].Apply();
  imgID.filters.revealTrans.transition=Math.random () * 23;
  imgID.style.width = graphics [graphIndex].img.width;
  imgID.style.height = graphics [graphIndex].img.height;
  imgID.style.height=imgID.height;
  ShowGraph (imgID, graphIndex);
  imgID.filters[0].Play();
  thistimerID = window.setTimeout ("ShowNext()", 4000);
}

function SwapAnimation ()
{
  if (thistimerID == 0)
    ShowNext();
  else
  {
    window.clearTimeout (thistimerID);
    thistimerID = 0;
  }
  ShowStatus ();
}

function ShowStatus ()
{
  if (thistimerID == 0)
    window.status = "Klik om de animatie te vervolgen";
  else
    window.status = "Klik om de animatie te stoppen";
}

function HideStatus ()
{
  window.status = "";
}