var random_images = new Array ( );
random_images[0] = "http://www.cornerstoneri.com/boka/images/random/1.jpg";
random_images[1] = "http://www.cornerstoneri.com/boka/images/random/2.jpg";
random_images[2] = "http://www.cornerstoneri.com/boka/images/random/3.jpg";
random_images[3] = "http://www.cornerstoneri.com/boka/images/random/4.jpg";
random_images[4] = "http://www.cornerstoneri.com/boka/images/random/5.jpg";
random_images[5] = "http://www.cornerstoneri.com/boka/images/random/6.jpg";
random_images[6] = "http://www.cornerstoneri.com/boka/images/random/7.jpg";
random_images[7] = "http://www.cornerstoneri.com/boka/images/random/8.jpg";
random_images[8] = "http://www.cornerstoneri.com/boka/images/random/9.jpg";
random_images[9] = "http://www.cornerstoneri.com/boka/images/random/10.jpg";
random_images[10] = "http://www.cornerstoneri.com/boka/images/random/11.jpg";
random_images[11] = "http://www.cornerstoneri.com/boka/images/random/12.jpg";
random_images[12] = "http://www.cornerstoneri.com/boka/images/random/13.jpg";
random_images[13] = "http://www.cornerstoneri.com/boka/images/random/14.jpg";
random_images[14] = "http://www.cornerstoneri.com/boka/images/random/15.jpg";
random_images[15] = "http://www.cornerstoneri.com/boka/images/random/16.jpg";


// and set the image source to that image


function rand ( n )
{
  return ( Math.floor ( Math.random ( ) * n + 1 ) );
}
function pick_image ( )
{
  document.getElementById("random-image").src = random_images[ rand(16)-1 ];
}