// 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";

// 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(6)-1];
}