var img = new Array();
var start = null;
var counter = 1;
var delay_time = 3500;
var file_extension = ".jpg";

if(document.images)
{
  for(i = 1; i <= number_pics; i++)
  {
    img[i] = new Image();
    if(i < 10)
      img[i].src = image_path + "0" + i + file_extension
    else
      img[i].src = image_path + i + file_extension;
  }
}

function anim()
{
  counter++;
  document.getElementById("slideimage").src = img[counter].src;
  if(counter == number_pics) counter = 0;
}

function slide()
{
  start = setInterval("anim()", delay_time);
}
