// JavaScript Document

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/backgroundImages/Swatches_Studio_Re.jpg";
random_images[1] = "images/backgroundImages/Tom_Books_Re.jpg";
random_images[2] = "images/backgroundImages/Artwork_Re.jpg";
random_images[3] = "images/backgroundImages/Bridge_Re.jpg";
random_images[4] = "images/backgroundImages/Hall_Studio_Re.jpg";
random_images[5] = "images/backgroundImages/Jane_Sketch_Re.jpg";
random_images[6] = "images/backgroundImages/Heights_Rooftops_Re.jpg";
random_images[7] = "images/backgroundImages/Presidio_Re.jpg";
random_images[8] = "images/backgroundImages/Marina_Re.jpg";
random_images[9] = "images/backgroundImages/Mood_Library_Re.jpg";
random_images[10] = "images/backgroundImages/Pantone_Lobby_Re.jpg";
random_images[11] = "images/backgroundImages/Presidio_Re.jpg";
random_images[12] = "images/backgroundImages/Scissors_Scott_Re.jpg";
random_images[13] = "images/backgroundImages/Skylight_Marina_Re.jpg";
random_images[14] = "images/backgroundImages/Stairs_Studio_Re.jpg";


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

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