// overlay.js -- Copyright 2000 by David A. Kodama

   var frame=1;
   function init() {
      images= new Array(2)
      for (var i=0; i<2; i++) {
         images[i]= new Image()
      }
   }
   function Labels(i) {
      document.pic1.src= images[i].src;
   }