// JavaScript Document

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