<!-- hide this stuff from other browsers 


function initBg() {
	var bgImgs = 2; // Number of background themes (starting from 0). Number must be consistent with the cases in the "loadTheme" function.
	var currentBg = Math.floor(Math.random()*(bgImgs+1));
	switch(currentBg) {
		case 1:
			document.getElementById('main').style.backgroundImage = "url('images/img_02.jpg')";	
			break;
		case 2:
			document.getElementById('main').style.backgroundImage = "url('images/img_03.jpg')";	
			break;
		default:
			document.getElementById('main').style.backgroundImage = "url('images/img_01.jpg')";	
			break;    
	}
}

window.onload = initBg;

// end hiding javascript -->