if (document.images) {
  image0 = new Image;
  image1 = new Image;
  image2 = new Image;
  image0.src = 'pic1a.gif';
  image1.src = 'pic2a.gif';
  image2.src = 'pic3a.gif';
} else {
  image0 = '';
  image1 = '';
  image2 = '';
  document.rollimg = '';
}