// JavaScript Document
<!-- Hide this script from old browsers --
var imagenumber = 3;
var randomnumber = Math.random() ;
var rand1 = Math.round( (imagenumber-1) * randomnumber) + 1 ;
images = new Array
images[1] = "banners/prop1.jpg"
images[2] = "banners/prop2.jpg"
images[3] = "banners/prop4.jpg"
var image = images[rand1]
// -- End Hiding Here -->