// JavaScript to interpolate random images into a page.
    var ic = 14;     // Number of alternative images
    var xoxo = new Array(ic);  // Array to hold filenames
        
xoxo[0] = "./snaps/snap1a.jpg";
xoxo[1] = "./snaps/snap2a.jpg";
xoxo[2] = "./snaps/snap3a.jpg";
xoxo[3] = "./snaps/snap4a.jpg";
xoxo[4] = "./snaps/snap5a.jpg";
xoxo[5] = "./snaps/snap6a.jpg";
xoxo[6] = "./snaps/snap7a.jpg";
xoxo[7] = "./snaps/snap8a.jpg";
xoxo[8] = "./snaps/snap9a.jpg";
xoxo[9] = "./snaps/snap10a.jpg";
xoxo[10] = "./snaps/snap11a.jpg";
xoxo[11] = "./snaps/snap12a.jpg";
xoxo[12] = "./snaps/snap13a.jpg";
xoxo[13] = "./snaps/snap14a.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);