function random_img(images)
{
  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 };
      bildweite = (FensterBreite >= breite) ? '' : ((FensterBreite > 350) ? ' width="100%"' : ' width="350"')
      document.write('<img src="'+URL+'" border="0" align="left"'+bildweite+' />');
      break;
    }
  }
}