// JavaScript Document
function randomheader(path, section){
	
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)]+")";

}