function CacheImages()
{
  if (!document.images) return;

// Substitute your own image names and paths in the img_names
// array below.  NO COMMA after the last name!

  var img_names = new Array(
    "/images/RotatingLarge2_BG.jpg",
    "/images/RotatingLarge3_BG.jpg",
    "/images/RotatingLarge4_BG.jpg"
  );

  var imgs = new Array();

  for (var i = 0; i < img_names.length; i++)
  {
    imgs[i] = new Image();
    imgs[i].src = img_names[i];
  }
}