IMAGE_PREFIX = "thumb";
IMAGE_COUNT = 6;
var current = 1;
var timer = 0;

function load()
{
  display(1);
  timer = setInterval("animate();", 5000);
}

function display(number)
{
  current = number;
  var img1 = document.all.item("mainimage");
  var img2 = document.all.item(IMAGE_PREFIX + current);
  img1.src = img2.src;
  var i = 0;
  for (i=1;i<=IMAGE_COUNT;i++)
    if (i != current) 
      document.all(IMAGE_PREFIX + i).style.filter = "alpha(opacity=50)";
  img2.style.filter = "alpha(opacity=100)";
}

function stop(number)
{
  clearTimeout(timer);
  display(number);
}

function animate()
{
  current++;
  if (current > IMAGE_COUNT) current = 1;
  display(current);
}