<!--
    // JavaScript to interpolate random images into a page.
    var ic = 6;     // Number of alternative images
    var middle = new Array(ic);  // Array to hold filenames
    var end = new Array(ic);  // Array to hold second group of filenames
        
middle[0] = "../images/random/graphic1.jpg";
middle[1] = "../images/random/graphic2.jpg";
middle[2] = "../images/random/graphic3.jpg";
middle[3] = "../images/random/graphic4.jpg";
middle[4] = "../images/random/graphic5.jpg";
middle[5] = "../images/random/graphic6.jpg";
end[0] = "../images/random/graphice1.jpg";
end[1] = "../images/random/graphice2.jpg";
end[2] = "../images/random/graphice3.jpg";
end[3] = "../images/random/graphice4.jpg";
end[4] = "../images/random/graphice5.jpg";
end[5] = "../images/random/graphice6.jpg";
function pickRandom(range) {
if (Math.random)
return Math.round(Math.random() * (range-1));
else {
var now = new Date();
return (now.getTime() / 1000) % range;
}
}
function pickRandom1(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);
var choice1 = pickRandom1(ic);
// -->