var bg_images = new Array(); 
 //all the images in a list.  Woot.
 bg_images[0] = 'images/local_facilities/1.jpg';
 bg_images[1] = 'images/local_facilities/2.jpg';
 bg_images[2] = 'images/local_facilities/3.jpg';
 bg_images[3] = 'images/local_facilities/4.jpg';
 bg_images[4] = 'images/local_facilities/5.jpg';
 bg_images[5] = 'images/local_facilities/6.jpg';

 //the delay between change-over, in milliseconds.
 var speed = 10000;
 
 j = bg_images.length;
 function bg_change_over()
	{
    j++;
	if(j < bg_images.length)
	 {
     document.getElementById('left_history').style.backgroundImage = "url('" + bg_images[j] + "')";
	 }
	else
	 {
     j=0;
     document.getElementById('left_history').style.backgroundImage = "url('" + bg_images[j] + "')";
	 }
    setTimeout("bg_change_over()", speed);
	}

 bg_change_over();