setStyleSheet()
 //Store Image into Array
  topImages = new Array();
  topImages[0]= new Image();
  topImages[0].src="./pics/top_0.jpg";
  topImages[1]= new Image();
  topImages[1].src="./pics/top_1.jpg";
  topImages[2]= new Image();
  topImages[2].src="./pics/top_2.jpg";
  topImages[3]= new Image();
  topImages[3].src="./pics/top_3.jpg";
  topImages[4]= new Image();
  topImages[4].src="./pics/top_4.jpg";  
  
  //load topImages to browser cache
  imageCache = new Image();
  for(i=0; i<=topImages.length-1; i++)
  {
    imageCache.src=topImages[i];
  }


 
  function getRandom( min, max )
   {
    if( min > max )
     {
        return( -1 );
     }
    if( min == max )
     {
        return( min );
     }

       return( min + parseInt( Math.random() * ( max-min+1 ) ) );
  }



  function changePics()
  { 
    var i = getRandom(0,topImages.length-1);
    document.getElementById("top_image").src = topImages[i].src;
    setTimeout("changePics()",5000);
  }



  function addInfoWindow (address)
  {
  InfoWindow = window.open(address, "AddInfoWindow", "width=450,height=300,left=300,top=200,scrollbars=yes");
  InfoWindow.focus();
 

  } 
  function setStyleSheet()
{ width = screen.width;
  if(width<1000) 
    { document.writeln('<style type="text/css"> @import url(formatlowlowres.css); </style>');
    return;
    }
    if(width<1030) 
    { document.writeln('<style type="text/css"> @import url(formatlowres.css); </style>');
    return;
    }
    else
    { document.writeln('<style type="text/css"> @import url(format.css); </style>');
    return;
    }

}