// store an interval in a variable

var pause = 8000;

// create and initialize a counter                                    

var n = 0; 

// create an array of image file names                                         

var imgs = new Array ("./photos/mare_10_1.jpg", "./photos/mare_10_2.jpg",  "./photos/mare_10_3.jpg", "./photos/mare_10_4.jpg",   "./photos/mare_10_5.jpg","./photos/mare_10_6.jpg","./photos/mare_10_7.jpg", "./photos/mare_10_8.jpg", "./photos/mare_10_9.jpg",  "./photos/mare_10_10.jpg", "./photos/mare_10_11.jpg", "./photos/mare_10_13.jpg","./photos/mare_10_12.jpg");


// a function to display each image for the set interval

function rotate()
{                       
  document.images.pic.src = imgs[n];                   
  ( n == (imgs.length - 1 )) ? n = 0 : n++;  
  setTimeout( "rotate()", pause );                              
}

// specify the onload event-handler

window.onload = rotate;