function bgSwitcher() {
	var content = document.getElementById("content");
	var randomNum = Math.floor(Math.random()*5);
	var imageNumber = randomNum + 1;
	var background = 'http://corporate.ucsd.edu/images/homeContentBG_OCR';
	var extension = '.jpg';
//	content.style.backgroundImage = "url(" + background + imageNumber + extension + ")";
//	The line below was for testing. It could be removed.
//	content.style.backgroundColor = "black";

	document.backgroundImg.src = background + extension;
	}