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