GIF bb-diag.gif
   GIF bb.gif
   GIF bb2.gif
   GIF bkg-purple.gif
   GIF bkg-yellow.gif
   GIF buthelp.gif
   GIF butinfo.gif
   GIF butpage.gif
   GIF butview.gif
   GIF green.gif
   GIF purple.gif
   GIF red.gif
   GIF yellow.gif