// JavaScript Document


    // JavaScript to interpolate random images into a page.
    var ic = 7;     // Number of alternative images
    var lrge = new Array(ic);  // Array to hold filenames
        
lrge[0] = "Pict1.jpg";
lrge[1] = "Pict11.jpg";
lrge[2] = "Pict14.jpg";
lrge[3] = "Pict15.jpg";
lrge[4] = "Pict16.jpg";
lrge[5] = "Pict3.jpg";
lrge[6] = "Pict4.jpg";



  var smll = new Array(ic);  // Array to hold filenames
        
smll[0] = "S_Pict10.jpg";
smll[1] = "S_Pict12.jpg";
smll[2] = "S_Pict13.jpg";
smll[3] = "S_Pict17.jpg";
smll[4] = "S_Pict18.jpg";
smll[5] = "S_Pict2.jpg";
smll[6] = "S_Pict5.jpg";
smll[7] = "S_Pict6.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);