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

var kic = 12;     // Number of alternative images
var gage_flip = new Array(kic);  // Array to hold filenames

gage_flip[0]  = "/images/image1.jpg";
gage_flip[1]  = "/images/image2.jpg";
gage_flip[2]  = "/images/image3.jpg";
gage_flip[3]  = "/images/image4.jpg";
gage_flip[4]  = "/images/image5.jpg";
gage_flip[5]  = "/images/image6.jpg";
gage_flip[6]  = "/images/image7.jpg";
gage_flip[7]  = "/images/image8.jpg";
gage_flip[8]  = "/images/image9.jpg";
gage_flip[9]  = "/images/image10.jpg";
gage_flip[10] = "/images/image11.jpg";
gage_flip[11] = "/images/image12.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 choice2 = pickRandom(kic);
// -->