if (document.images)
  {
   b42 = new Image; b42.src = 'img/P9-DOWN.gif'
   b43 = new Image; b43.src = 'img/P9-OFF.gif'
   b44 = new Image; b44.src = 'img/P9-OVER.gif'
   b45 = new Image; b45.src = 'img/P9-DOWN.gif'
   b46 = new Image; b46.src = 'img/P9-OFF.gif'
   b47 = new Image; b47.src = 'img/P9-OVER.gif'
  }