// JavaScript Document
function randomheader(path){
var randombgs=[path+"assets/header-bg-1.jpg", path+"assets/header-bg-2.jpg", path+"assets/header-bg-3.jpg", path+"assets/header-bg-4.jpg"]
document.getElementById("content-header").style.backgroundImage = "url("+randombgs[Math.floor(Math.random()*randombgs.length)]+")";

}