//for all regular pages div  id=banner_regu
//list all background images
var backgroundSrcs = new Array("/assets/banner_bg_regu__01.jpg","/assets/banner_bg_regu__02.jpg","/assets/banner_bg_regu__03.jpg")
function flawreguvista()
{
//picks an image at random from the list
var bgimage=backgroundSrcs[(Math.round(Math.random()*(backgroundSrcs.length-1)))]
//apply the background image to "banner_regu" div
document.getElementById("banner_regu").style.backgroundImage = "url('" + bgimage + "')";
}