// JScript File


function swapHeaderImage() {
        var imgName = "banner0" + get_random(5) + ".jpg";
       // alert(imgName);
        newImage = "url(../bg_images/" + imgName + ")";
        document.getElementById('header').style.backgroundImage = newImage;
      }

function get_random(maxNum)
{
    var ranNum = Math.floor(Math.random() * maxNum + 1);
    if (ranNum > maxNum)
        ranNum = 1;
        
    return ranNum;
}