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

xoxo[0] = "images/front01.jpg";
xoxo[1] = "images/front02.jpg";
xoxo[2] = "images/front03.jpg";
xoxo[3] = "images/front04.jpg";
xoxo[4] = "images/front05.jpg";
xoxo[5] = "images/front06.jpg";
xoxo[6] = "images/front07.jpg";
xoxo[7] = "images/front08.jpg";
xoxo[8] = "images/front09.jpg";


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);