<!--
// JavaScript to interpolate random images into a page.
var ic = 4;     // Number of alternative images
var xoxo = new Array(ic);  // Array to hold filenames
        
xoxo[0] = "./images/quotes/001_quote.gif";
xoxo[1] = "./images/quotes/002_quote.gif";
xoxo[2] = "./images/quotes/003_quote.gif";
xoxo[3] = "./images/quotes/004_quote.gif";
xoxo[4] = "./images/quotes/005_quote.gif";
xoxo[5] = "./images/quotes/006_quote.gif";
xoxo[6] = "./images/quotes/007_quote.gif";
xoxo[7] = "./images/quotes/008_quote.gif";

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