function rand ( n )
{
  return ( Math.floor ( Math.random ( ) * n + 1 ) );
}

// Store some random image URL's

var random_images = new Array ( );
random_images[0] = "images/splash_header1.jpg";
random_images[1] = "images/splash_header2.jpg";
random_images[2] = "images/splash_header3.jpg";
random_images[3] = "images/splash_header4.jpg";
random_images[4] = "images/splash_header5.jpg";
random_images[5] = "images/splash_header6.jpg";
random_images[6] = "images/splash_header7.jpg";
random_images[7] = "images/splash_header8.jpg";
random_images[8] = "images/splash_header9.jpg";


// Pick a random image from the list,
// and set the image source to that image

function pick_image ( )
{
  document.getElementById("random-image").src = random_images[rand(9)-1];
}