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

}