Código Javascript
:
Ver originalfunction random_bg() {
var images = ["image1.png", "image2.png", "image3.png"];
var banner = document.getElementById("banner");
var random = (Math.round((Math.random()*images.length)+1))
banner.style.backgroundImage = images[random];
}
Espero que te sirva, revísala porque esta hecha sin probar, recuerda que tienes que esforzarte un poco

, ánimo!
Un saludo!