// JavaScript Document
<!-- Hide Script from Old Browsers

window.onload = function() {

var newNum = Math.floor(Math.random() * 13) +1;
//var currSrc = document.getElementById('header').style.backgroundImage;


document.getElementById('headerImage').src = "/headers/header_" + newNum + ".png";

//document.write(currSrc);

//document.write(document.getElementById('header').style.backgroundImage);

}

-->