//PJM - 23/09/04
//puts images into an array
var images = new Array(5);
images[0] = "/images/photos/header1.jpg";
images[1] = "/images/photos/header2.jpg";
images[2] = "/images/photos/header3.jpg";
images[3] = "/images/photos/header4.jpg";
images[4] = "/images/photos/header5.jpg";
//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");