function randomize(min, max) {
if (!min)
min = 0;
if (!max)
max = 1;
return Math.floor(Math.random()*(max+1)+min);
}
function randomBg() {
var bgs = new Array();
bgs.push("/images/back-winter1.jpg");
bgs.push("/images/back-winter2.jpg");
bgs.push("/images/back-winter3.jpg");
document.body.style.backgroundImage = "url(" + bgs[randomize(0, bgs.length-1)] + ")";
}