// JavaScript to interpolate random images into a page.
    var ic = 5;     // 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/4948/";

// photo 1
        
pic1[0] = "borderfence3.jpg"; // image URL
pic1cap[0] = "Image courtesy of Alex Rivera";
pic1[1] = "border2.jpg";
pic1cap[1] = "Image courtesy of Alex Rivera";
pic1[2] = "skeleton.jpg";
pic1cap[2] = "Image courtsey of Jose Posada";
pic1[3] = "womanIII.jpg";
pic1cap[3] = "Image courtsey of Artemio Rodriguez";
pic1[4] = "Mayela.jpg";
pic1cap[4] = "Image courtsey of Artemio Rodriguez";




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 #cc6633; border-top:0; margin-left:1px;" >');