window.onload = function () {
    var header = document.getElementById('[DELETE ME TO ACTIVATE]header');
    var pictures = new Array('header.jpg','header.jpg','header.jpg');
    var numPics = pictures.length;
    if (document.images) {
        var chosenPic = Math.floor((Math.random() * numPics));
        header.style.background = 'url(' + pictures[chosenPic] + ')';
    }
    }