//if you can read this, download firefox
function setHeaderImage() {
	// change num_images to match the number of files named headerX.jpg, where X is a number of
	// any number of digits
	var num_images = 3;
	var rand = Math.floor(Math.random() * num_images);
	var header_title = document.getElementById('header_title');
	
	// for now
	rand = '2';
	
	header_title.style.backgroundImage = "url('header" + rand + ".jpg')";
	
	//window.alert(header_title.backgroundImage);
}