var theHeaderImages = new Array() // do not change this
// To add more image files, continue with the
// pattern below, adding to the array.

theHeaderImages[0] = 'home_header_img01.jpg'
theHeaderImages[1] = 'home_header_img02.jpg'
theHeaderImages[2] = 'home_header_img03.jpg'
theHeaderImages[3] = 'home_header_img04.jpg'
theHeaderImages[4] = 'home_header_img05.jpg'
theHeaderImages[5] = 'home_header_img06.jpg'
theHeaderImages[6] = 'home_header_img07.jpg'

// do not edit anything below this line
var whichImage = Math.floor(Math.random()*theHeaderImages.length);
function showHeaderImage(){
document.write('<img src="'+themeRootDirectory+'/images/'+theHeaderImages[whichImage]+'" width="150" height="140" alt=""  class="h_floatright" />');
}