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("/portals/0/images/BodyBg1.jpg");
	bgs.push("/portals/0/images/BodyBg2.jpg");
	bgs.push("/portals/0/images/BodyBg3.jpg");
	bgs.push("/portals/0/images/BodyBg4.jpg");
	document.body.style.backgroundImage = "url(" + bgs[randomize(0, bgs.length-1)] + ")";
}