var images = new Array('/images/rotating_images/ri_1.gif',
                      '/images/rotating_images/ri_2.gif',
                      '/images/rotating_images/ri_3.gif',
                      '/images/rotating_images/ri_4.gif',
                      '/images/rotating_images/ri_5.gif',
                      '/images/rotating_images/ri_6.gif',
                      '/images/rotating_images/ri_7.gif',
					  '/images/rotating_images/ri_8.gif',
					  '/images/rotating_images/ri_9.gif',
                      '/images/rotating_images/ri_10.gif',
                      '/images/rotating_images/ri_11.gif');

var image = new obj('rotating_image');
var timeoutID = 0;
rotateImage();


function rotateImage()
{
  window.clearTimeout(timeoutID);
  var random_number = Math.floor(Math.random() * images.length);
  image.src = images[random_number];
  timeoutID = window.setTimeout(rotateImage, 5000);
}


function obj(name)
{
  return document.getElementById(name);
}