// JavaScript Document

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


// Store some random image URLs
// Change images here. It can be a name instead of a number if you like.
var random_images = new Array ( );
random_images[0] = "images/banner/iloveavalon01.jpg";
random_images[1] = "images/banner/iloveavalon02.jpg";
random_images[2] = "images/banner/iloveavalon03.jpg";
random_images[3] = "images/banner/iloveavalon04.jpg";
random_images[4] = "images/banner/iloveavalon05.jpg";
random_images[5] = "images/banner/iloveavalon06.jpg";
random_images[6] = "images/banner/iloveavalon07.jpg";
random_images[7] = "images/banner/iloveavalon08.jpg";
random_images[8] = "images/banner/iloveavalon09.jpg";
random_images[9] = "images/banner/iloveavalon10.jpg";
random_images[10] = "images/banner/iloveavalon11.jpg";
random_images[11] = "images/banner/iloveavalon12.jpg";
random_images[12] = "images/banner/iloveavalon13.jpg";
random_images[13] = "images/banner/iloveavalon14.jpg";
random_images[14] = "images/banner/iloveavalon15.jpg";
random_images[15] = "images/banner/iloveavalon16.jpg";
random_images[16] = "images/banner/iloveavalon17.jpg";
random_images[17] = "images/banner/iloveavalon18.jpg";



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

// If you increase or decrease the number of images the 10 below must be changed to reflect this. i.e if you have images 0 to 6 above then 10 below must become 7.
function pick_image ( )
{
  document.getElementById("random-image").src = random_images[rand(18)-1];
}