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

// photo 1
        
pic1[0] = "yivo1.jpg"; // image URL
pic1[1] = "yivo2.jpg";
pic1[2] = "yivo3.jpg";
pic1[3] = "yivo4.jpg"; // image URL
pic1[4] = "yivo5.jpg";
pic1[5] = "yivo6.jpg";
 pic1[6] = "yivo7.jpg"; // image URL
pic1[7] = "yivo8.jpg";
pic1[8] = "yivo9.jpg";
pic1[9] = "yivo10.jpg";
pic1[10] = "yivo11.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 choice1 = pickRandom(ic);


document.writeln('<IMG SRC="'+adminpath+pic1[choice1]+'" alt="'+pic1cap[choice1]+'" title="'+pic1cap[choice1]+'" hspace="0" vspace="0" style="border: 0; margin-bottom:5px;" >');