// JavaScript to interpolate random images into a page.
    var ic = 3;     // Number of alternative images
    var pic1 = new Array(ic);  // Array to hold filenames
    var pic1cap = new Array (ic); // Array to hold caption  

    var adminpath = "/docs/IO/6370/";

// photo 1
        
pic1[0] = "image1.jpg"; // image URL
pic1cap[0] = "XXX";
pic1[1] = "image2.jpg";
pic1cap[1] = "XXX";
pic1[2] = "image3.jpg";
pic1cap[2] = "XXX";





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 choice1 = pickRandom(ic);


document.writeln('<IMG SRC="'+adminpath+pic1[choice1]+'" alt="'+pic1cap[choice1]+'" title="'+pic1cap[choice1]+'" hspace="0" vspace="0" style="border: 1px solid #cc6633; border-bottom:7px solid #9E0108; border-top:0; margin-left:1px;" >');