/* SpecColl script to generate random backgroung images.  REMOVE IF YOU WILL BE USING A DIFFERENT BACKGROUND IMAGE! Desired background images should be saved in images\bgimages and named numerically (i.e. bg1, bg2, bg3, etc.)  When adding new images be sure to change the number of images in the "var numimages" declaration. */

if (document.getElementById);
		function swap() {
		var numimages=16;
		rndimg = new Array("/ud/spec/images/bgimages/bg1.jpg", "/ud/spec/images/bgimages/bg2.jpg", "/ud/spec/images/bgimages/bg3.jpg", "/ud/spec/images/bgimages/bg4.jpg", "/ud/spec/images/bgimages/bg5.jpg", "/ud/spec/images/bgimages/bg6.jpg", "/ud/spec/images/bgimages/bg7.jpg", "/ud/spec/images/bgimages/bg8.jpg", "/ud/spec/images/bgimages/bg9.jpg", "/ud/spec/images/bgimages/bg10.jpg", "/ud/spec/images/bgimages/bg11.jpg", "/ud/spec/images/bgimages/bg12.jpg", "/ud/spec/images/bgimages/bg13.jpg", "/ud/spec/images/bgimages/bg14.jpg", "/ud/spec/images/bgimages/bg15.jpg", "/ud/spec/images/bgimages/bg16.jpg");
		x=(Math.floor(Math.random()*numimages));
		randomimage=(rndimg[x]);
		document.getElementById("randombg").style.backgroundImage = "url("+ randomimage +")";
		}