function PageFinished( ) {  
   if (document.images) {  
      img1 = new Image();  
      img1.src= "../graphics/load.gif?loaded=1";
   }
}