var image_list = new Array();
var current_index = 0;

// -------------------
// Preload the image files for the rotating images.
// -------------------
function PreloadImages(image)
{
   image_list = image.split(",");
   image_srclist = new Array(image_list.length);

   for (i = 0; i < image_list.length; i++)
   {
      image_list[i].replace(/\//,"");
      image_srclist[i] = new Image;
      image_srclist[i].src = image_list[i];
   }
}

// -------------------
// Add the specified images to the list of images.
// The leading '/' is removed from every image name.
// PARAM:  images: a comma delimited string of filenames
// -------------------
function AddImages(images)
{
   image_list = images.split(",");
   //image_srclist = new Array(image_list.length);

   for (i = 0; i < image_list.length; i++)
   {
      image_list[i].replace(/\//,"");
      //image_srclist[i] = new Image;
      //image_srclist[i].src = image_list[i];
      
   }
   current_index = Math.ceil(Math.random() * image_list.length);
}

// --------------------
// Rotate through the list of images and display
// the new image every 5 seconds.
// --------------------
function RotateImage()
{
   current_index = (++current_index % image_list.length);
   document.getElementById('rotate_image').src = image_list[current_index];
   setTimeout("RotateImage()", 4000);
}

function MM_preloadImages() 
{ //v3.0
    var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array();
    var i,j=d.MM_p.length,a=MM_preloadImages.arguments; for(i=0; i<a.length; i++)
    if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}}
}