// array of paths for background images

var backgrounds = new Array();
backgrounds[0]= "/images/backgrounds/bg_01.jpg";
backgrounds[1]= "/images/backgrounds/bg_03.jpg";
backgrounds[2]= "/images/backgrounds/bg_04.jpg";
backgrounds[3]= "/images/backgrounds_internal/bg_04.jpg";
backgrounds[4]= "/images/backgrounds_internal/bg_01.jpg";
backgrounds[5]= "/images/backgrounds_internal/bg_06.jpg";
backgrounds[6]= "/images/backgrounds_internal/bg_07.jpg";
backgrounds[7]= "/images/backgrounds_internal/bg_08.jpg";
backgrounds[8]= "/images/backgrounds_internal/bg_09.jpg";
backgrounds[9]= "/images/backgrounds_internal/bg_10.jpg";




function setRandomBackground()
{
	var frame = document.getElementById("frame");
	frame.style.backgroundImage = "url("+ getRandomBackgroundImage() +")"; 
}

function getRandomBackgroundImage()
{
	bgIndex = Math.round(Math.random() * (backgrounds.length -1));
	return backgrounds[bgIndex];
}