// JavaScript Document
function randomheader(path, section, forced){
	if (forced) {
		var randombgs = [forced];
	} else {
		var randombgs=[path+"assets/"+section+"HeaderBG1.jpg", path+"assets/"+section+"HeaderBG2.jpg", path+"assets/"+section+"HeaderBG3.jpg", path+"assets/"+section+"HeaderBG4.jpg"];
	}
	document.getElementById("content-header-image-area").style.backgroundImage = "url("+randombgs[Math.floor(Math.random()*randombgs.length)]+")";
}