window.onload = function(){
    randomImage()
}

function randomImage(){
    if(!document.getElementById) return false;
    var home = document.getElementsByTagName("body")[0].className;
    if(home=="home"){
      var homefoto = document.getElementById("homefoto");
      var positie = Math.floor(Math.random()*(imageLib.length));
      homefoto.setAttribute("src",imageLib[positie]);
    }
}
var imageLib = new Array(
    "images/home_001.jpg",
    "images/home_002.jpg",
    "images/home_003.jpg",
    "images/home_004.jpg"
);