//PJM - 23/09/04
//puts images into an array
var images = new Array(2);
images[0] = "/images/2007/mainimage_full.jpg";
images[1] = "/images/2007/windsor.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("#offices {\n");
document.write("background:url(" + images[rand] + ") no-repeat;\n");
document.write("}\n");
document.write("</style>\n");