// JavaScript Document

var ic = 10; // Number of alternative images 
var xoxo = new Array(ic); // Array to hold filenames 
xoxo[0] = "header-image-01"; 
xoxo[1] = "header-image-02"; 
xoxo[2] = "header-image-03"; 
xoxo[3] = "header-image-04"; 
xoxo[4] = "header-image-05"; 
xoxo[5] = "header-image-06"; 
xoxo[6] = "header-image-07"; 
xoxo[7] = "header-image-08"; 
xoxo[8] = "header-image-09"; 
xoxo[9] = "header-image-10"; 

function pickRandom(range) { 
	if (Math.random) return Math.round(Math.random() * (range-1)); 
	else { 
		var now = new Date(); 
		return (now.getTime() / 1000) % range;  
		} 
	}  
	var choice = pickRandom(ic);