<!--
  /*
   * Pre-load the specified image.  This loads the image as the page
   * loads, so that when it is used later (such as for a mouseover effect),
   * the image has already been loaded.
   */
  function preloadImage(imageName) {
    var image = new Image();
    image.src = imageName;
  }
  
  // Preload primary graphics.
  preloadImage("/images/CosmosHeader.jpg");
  preloadImage("/images/starfieldblue.jpg");
  preloadImage("/images/spacer.gif");

// -->