function RandNum(max) {
  key = Math.floor(Math.random() * max);
  return key;
}
function RandomPicture() {

  images = new Array( 9 );

  images[0] = "<img src='bilder/splash_06.jpg' alt='Splash1'>";
  images[1] = "<img src='bilder/splash_04.jpg' alt='Splash2'>";
  images[2] = "<img src='bilder/splash_party.gif' alt='Splash3'>";
  images[3] = "<img src='bilder/splash_tree.jpg' alt='Splash_tree'>";
  images[4] = "<img src='bilder/splash_06.jpg' alt='Splash5'>";
  images[5] = "<img src='bilder/splash_strawberry.jpg' alt='Strawberry'>";
  images[6] = "<img src='bilder/splash_beer.jpg' alt='Splash_beer'>";
  images[7] = "<img src='bilder/splash_lions.gif' alt='Splash_lions'>";
  images[8] = "<img src='bilder/splash_ferrer.jpg' alt='Splash_ferrer'>";


  key = RandNum( images.length );

  document.write( images[ key ] );
}