var ic = 21                    // How many images are selected from
var stannpic = new Array(ic);  // Declare an array to hold filenames
        
stannpic[0] = "./images/stann000.jpg";
stannpic[1] = "./images/stann001.jpg";
stannpic[2] = "./images/stann002.jpg";
stannpic[3] = "./images/stann003.jpg";
stannpic[4] = "./images/stann004.jpg";
stannpic[5] = "./images/stann005.jpg";
stannpic[6] = "./images/stann006.jpg";
stannpic[7] = "./images/stann007.jpg";
stannpic[8] = "./images/stann008.jpg";
stannpic[9] = "./images/stann009.jpg";
stannpic[10] = "./images/stann010.jpg";
stannpic[11] = "./images/stann011.jpg";
stannpic[12] = "./images/stann012.jpg";
stannpic[13] = "./images/stann013.jpg";
stannpic[14] = "./images/stann014.jpg";
stannpic[15] = "./images/stann015.jpg";
stannpic[16] = "./images/stann016.jpg";
stannpic[17] = "./images/stann017.jpg";
stannpic[18] = "./images/stann018.jpg";
stannpic[19] = "./images/stann019.jpg";
stannpic[20] = "./images/stann020.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 an IMG tag, using a randomly-chosen image name.
var choice = pickRandom(ic);
var choice2 = pickRandom(ic);