if (document.getElementById) { window.onload = swap };
function swap() {
var numimages=9;
rndimg = new Array("http://www.techmanda.com/images/homepage/1.jpg", "http://www.techmanda.com/images/homepage/2.jpg", "http://www.techmanda.com/images/homepage/3.jpg", "http://www.techmanda.com/images/homepage/4.jpg", "http://www.techmanda.com/images/homepage/5.jpg", "http://www.techmanda.com/images/homepage/6.jpg", "http://www.techmanda.com/images/homepage/7.jpg", "http://www.techmanda.com/images/homepage/8.jpg", "http://www.techmanda.com/images/homepage/9.jpg"); 
x=(Math.floor(Math.random()*numimages));
randomimage=(rndimg[x]);
document.getElementById("banner").style.backgroundImage = "url("+ randomimage +")"; 
}