var pictures = new Array
(
"images/DSCI0015.jpg" 
,"images/DSCI0025.jpg" 
,"images/DSCI0026.jpg" 
,"images/DSCI0040.jpg" 
,"images/DSCI0043.jpg" 
,"images/DSCI0046.jpg" 
,"images/DSCI0048.jpg" 
);
var picture_num = 0;
var current_picture = new Image();
current_picture.src = pictures[picture_num];
function start_show() 
{
// Time is in seconds X 1000
setInterval("slideshow()", 3000);
}
function slideshow() 
{
picture_num++;
if (picture_num == pictures.length) 
{
picture_num = 0;
}
current_picture.src = pictures[picture_num];
document["rotating_picture"].src = current_picture.src;
}