var images = new Array('./images/banners/fallen.jpg', './images/banners/ban.jpg', './images/banners/swamp.jpg', './images/banners/bark.jpg');
var l = images.length;
var random_no = Math.floor(l*Math.random());
document.getElementById("banner").src = images[random_no];