//PJM - 23/09/04
//puts images into an array
var images = new Array(4);
images[0] = '/images/rotatingBanners/bluesky1.png';
images[1] = '/images/rotatingBanners/bluesky2.png';
images[2] = '/images/rotatingBanners/bluesky3.png';
images[3] = '/images/rotatingBanners/bluesky4.png';
//gets a random number
var rand;
rand = Math.floor(Math.random() * images.length);



//writes the style to produce the random header image
/*document.write("<style>\n");
document.write("#header {\n");
document.write("background:url(" + images[rand] + ") no-repeat;\n");
document.write("}\n");
document.write("</style>\n");*/