if (document.images)
{
var images=new Array();

images[0]="graphics/random/castle.jpg";
images[1]="graphics/random/arch.jpg";
images[2]="graphics/random/friary.jpg";
images[3]="graphics/random/garden.jpg";
images[4]="graphics/random/castle2.jpg";
images[5]="graphics/random/river.jpg";
images[6]="graphics/random/castle.jpg";

function change()
{
var rand=Math.floor(Math.random()*6);
document.getElementById("change").src=images[rand];
}

}

/*Last image in list will only display when math.random=1,
i.e. not very often. */