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()",2500);
}
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;
}