<!--
    // 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] = 'images/gallery_1.jpg'
xoxo[1] = 'images/gallery_2.jpg'
xoxo[2] = 'images/gallery_3.jpg'
xoxo[3] = 'images/gallery_4.jpg'
xoxo[4] = 'images/galleryt_5.jpg'
xoxo[5] = 'images/gallery_6.jpg'
xoxo[6] = 'images/gallery_7.jpg'
xoxo[7] = 'images/gallery_8.jpg'
xoxo[8] = 'images/gallery_9.jpg'
xoxo[9] = 'images/gallery_10.jpg'
xoxo[10] = 'images/gallery_11.jpg'
xoxo[11] = 'images/gallery_12.jpg'
xoxo[12] = 'images/gallery_13.jpg'
xoxo[13] = 'images/gallery_14.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);
// -->