// JavaScript Document
if (document.getElementById) { window.onload = swap };

function swap() {
var numimages=8;
rndimg = new Array("/images/banner6.jpg", "/images/banner2.jpg", "/images/banner3.jpg", "/images/banner4.jpg", "/images/banner5.jpg", "/images/banner7.jpg" , "/images/banner8.jpg" , "/images/banner9.jpg"); 
x=(Math.floor(Math.random()*numimages));
randomimage=(rndimg[x]);
document.getElementById("banner").style.backgroundImage = "url("+ randomimage +")"; 
}