// rotating image// * Dependencies * // this function requires the following snippets:// JavaScript/images/switchImage//// BODY Example:// <body onLoad="mySlideShow1.play(); mySlideShow2.play();">// <img src="originalImage1.gif" name="slide1">//// SCRIPT Example:// var mySlideList1 = ['image1.gif', 'image2.gif', 'image3.gif'];// var mySlideShow1 = new SlideShow(mySlideList1, 'slide1', 3000, "mySlideShow1");var mySlideList1 = ['../images/mosaics/SI_mosaics1.jpg', '../images/mosaics/SI_mosaics2.jpg', '../images/mosaics/SI_mosaics3.jpg', '../images/mosaics/SI_mosaics4.jpg', '../images/mosaics/SI_mosaics5.jpg', '../images/mosaics/SI_mosaics6.jpg', '../images/mosaics/SI_mosaics7.jpg', '../images/mosaics/SI_mosaics8.jpg', '../images/mosaics/SI_mosaics9.jpg'];var mySlideShow1 = new SlideShow(mySlideList1, 'mosaic1', 2000, "mySlideShow1");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);  }}function switchImage(imgName, imgSrc) {  if (document.images)  {    if (imgSrc != "none")    {      document.images[imgName].src = imgSrc;    }  }}