function random_img() {
 images = new Array(



 );
for (i=0;i<images.length+i;i++) {
 a = Math.round(Math.random()*images.length);
 if ((a >= 0) && (a < images.length)) {
  bild = images[a];
  URL = bild[0];
  breite = bild[1];
  bildname = bild[2];
   if (navigator.appName.indexOf('Netscape') != -1) { FensterBreite = self.innerWidth }
   else if (navigator.appName.indexOf('Microsoft') != -1) { FensterBreite = document.body.clientWidth };
   var bildweite;
   bildweite = ( FensterBreite >= breite ) ? breite : ( ( FensterBreite >= 250 ) ? 250 : "100%" )
   document.write("<img src=\""+URL+"\" border=\"0\" width=\""+bildweite+"\" align=\"left\" \/>");
  break;
  }
 }
}