//var picture_num = 0
//var current_picture = new Image();

//current_picture.src = picturesRotate[picture_num];

//function start_show() 
//{
//	setInterval("slideshow()", 3000);
//}

//function slideshow() 
//{
//	picture_num++;
//	if (picture_num == picturesRotate.length) 
//	{
//		picture_num = 0;
//	}
//	current_picture.src = picturesRotate[picture_num];
//	document["rotating_picture"].src = current_picture.src;
//}