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

function swap() {
var numimages=3;
rndimg = new Array("images/Banners/banner_f.jpg", "images/Banners/banner_1_f.jpg", "images/Banners/banner_2_f.jpg"); 
x=(Math.floor(Math.random()*numimages));
randomimage=(rndimg[x]);
document.getElementById("hero").style.backgroundImage = "url("+ randomimage +")"; 
}