var imageArray = new Array(); // leave as is.

// Specify number of milliseconds between image switches.
var switchMilliseconds = 7000;

// Specify the id of the div or other HTML tag with the 
//   background image to switch.

var divID = 'header';

// To add more images, continue the pattern below.

imageArray[0] = 'images/basic_page_elements/headers/00.jpg';
imageArray[1] = 'images/basic_page_elements/headers/06.jpg'; 
imageArray[2] = 'images/basic_page_elements/headers/02.jpg';  
imageArray[3] = 'images/basic_page_elements/headers/03.jpg';  
imageArray[4] = 'images/basic_page_elements/headers/04.jpg';  
imageArray[5] = 'images/basic_page_elements/headers/05.jpg';  

// No further customization needed in this JavaScript

function publishPicture(i) {
document.getElementById(divID).style.background = 'url("'+imageArray[i]+'")';
i++;
if( i > (imageArray.length - 1) ) { i = 0; }
setTimeout('publishPicture('+i+')',switchMilliseconds);
}
publishPicture(0);