//
// Random Header Background Image
//

function randomBackgroundImage() {
	// When adding additional images, simply add another entry to the array
	var images = Array(
		'spread-1.png',
		'spread-2.png'
	);
	var num = Math.floor(Math.random()*images.length);
	document.getElementById('banner').style.backgroundImage = 'url("/images/header-backgrounds/' + images[num] + '")';
}

// Run randomBackgroundImage as soon as this script is loaded,
// instead of waiting for the DOM to finish loading
randomBackgroundImage();