function setHeaderPic()
{
        var randomnumber=Math.floor(Math.random()*5)
        var headerdiv=document.getElementById('headerpicturediv');
        var pictureURL="url('images/top0" + randomnumber + ".jpg')";
        headerdiv.style.backgroundImage=pictureURL;
    }