   <!-- Unauthorized use or redistribution prohibited. -->

   var the_path = './buttons/'
   var current = 'button0'
   var last = null
   var images_array = new img_item(9);


   function img_item(num)
   {
   var i=0
   this.length = num
   for (i=0; i<=9; i++)
      {
      this[i] = new Image()
      this[i].src = (the_path + 'button' + i + 'b.gif')
      this[i + 10] = new Image()
      this[i + 10].src = (the_path + 'button' + (i) + 'c.gif')
      }

   return this
   }


   function swapimage(image_name)
   {

      unswap(last);
      if (image_name != current)
         {
         document[image_name].src=the_path + image_name + 'd.gif'
         last = image_name
         }
   }


   function unswap(image_name2)
   {
   if (last && (image_name2 != current))
      {
      document[image_name2].src=the_path +image_name2 + 'u.gif'
      }
   }