// JavaScript Document<script type="text/javascript"> 

var mySlideList1 = new Array();
mySlideList1[0]="images/le_main.png";
mySlideList1[1]="images/inv_main.png";
mySlideList1[2]="images/nv_main.png";
mySlideList1[3]="images/hm_main.jpg"; 

var mySlideShow1 = new SlideShow(mySlideList1, 'slide1', 10000, "mySlideShow1");

function switchImage(imgName, imgSrc) 

{

  if (document.images)

  {

    if (imgSrc != "none")

    {

      document.images[imgName].src = imgSrc;

    }

  }

}

function SlideShow(slideList, image, speed, name)          

{

  this.slideList = slideList;

  this.image = image;

  this.speed = speed;

  this.name = name;

  this.current = 0;

  this.timer = 0;

}

SlideShow.prototype.play = SlideShow_play;  

function SlideShow_play()       

{

  with(this)

  {

    if(current++ == slideList.length-1) current = 0;

    switchImage(image, slideList[current]);

    clearTimeout(timer);

    timer = setTimeout(name+'.play()', speed);

  }

}