// JavaScript to interpolate random images into a page.
var ic = 3;     // Number of alternative images
var xoxo = new Array(ic);  // Array to hold filenames

function pickRandom(range) {
	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(ic);