// JavaScript Document
function rotate_image(){

  if (document.images)
  {
	var nextImage=curImage+1;
	if (nextImage>=numImages)
	  nextImage=0;
	if (dimages[nextImage] && dimages[nextImage].complete)
	{
	  var target=0;
	  if (document.images.main_image)
	  {
		target=document.images.main_image;		
	  }
	  if (document.all && document.getElementById("main_image"))
		target=document.getElementById("main_image");
	
	  // make sure target is valid.  It might not be valid
	  //   if the page has not finished loading
	  if (target)
	  {
		target.src=dimages[nextImage].src;
		curImage=nextImage;
	  }
	  setTimeout("rotate_image()", 5000);
	}
	else
	{
	  setTimeout("rotate_image()", 500);
	}
  }
}