<!-- // JavaScript to interpolate random images into a page. 
var size = 4; // Number of alternative images 
var imageArray = new Array(size); 
// Array to hold filenames 
imageArray[0] = "a3.jpg"; 
imageArray[1] = "a4.jpg";
imageArray[2] = "a7.jpg"; 
imageArray[3] = "redo.jpg"; 


function pickRandom(range) 
{ 
	var result = 0;
	if (Math.random)
		return Math.round(Math.random() * (range-1)); 
	else
	{ 
		var now = new Date(); 
		return (now.getTime() / 1000) % range; 
	} 
}
	// Write out an IMG tag, using a randomly-chosen image name. 

var choice = pickRandom(size); 
// -->