/**
 * Generates a random number for the banner background
 * @author doublecompile
 */

var totalRandom = 8;
var prefix = "/images/random_banner";

for (var i = 1; i <= totalRandom; i++) {
	var img = new Image();
	if (i < 10) {
		i = '0' + i;
	}
	img.src = prefix + i + '.png';
}

window.onload = function(){
	var num = Math.ceil(Math.random() * totalRandom);
	if ( num < 10 ) {
		num = '0' + num;
	}
	document.getElementById("page-content-container3").style.backgroundImage = "url(" + prefix + num + ".png)";
};