function pickRandom(max_number) {

   var random_result = Math.floor(max_number*Math.random() + 1);
   return random_result;
   
}


// Insert random "off" pictures from vast storehouse

function initializeLogo() {

   var off_pics_available=18;
   
   // choose pic numbers at random
   
  var x=pickRandom(off_pics_available);
   var y=x;
   while (y == x) {
      y = pickRandom(off_pics_available);
   }
   var z=x;
   while ((z == x) || (z == y)) {
      z = pickRandom(off_pics_available);
   }
   
   // place pictures on page
   
   document.images[0].src="/images/off/off" + x + ".gif";
   document.images[1].src="/images/off/off" + y + ".gif";
   document.images[2].src="/images/off/off" + z + ".gif";
   
   

}