<!--
    // JavaScript to interpolate random images into a page.

var ic = 13;     // Number of alternative images
var xoxo = new Array(ic);  // Array to hold filenames

xoxo[0]  = "/flood/March2008 048.jpg";
xoxo[1]  = "/flood/March2008 033.jpg";
xoxo[2]  = "/flood/March2008 025.jpg";
xoxo[3]  = "/flood/IMG_2978.jpg";
xoxo[4]  = "/flood/IMG_0080.jpg";
xoxo[5]  = "/flood/Fayetteville and flood 032008 020.jpg";
xoxo[6]  = "/flood/Fayetteville and flood 032008 013.jpg";
xoxo[7]  = "/flood/DSC00344.JPG";
xoxo[8]  = "/flood/March2008 044.jpg";
xoxo[9]  = "/flood/Fayetteville and flood 032008 082.jpg";
xoxo[10] = "/flood/IMG_2974.jpg";
xoxo[11] = "/flood/P3190134.JPG";
xoxo[12] = "/flood/P3200156.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);
// -->