window.onload = function() {

    var divs = document.getElementsByTagName("div");
    var thumbnails = new Array();
    var i = 0;

    for (i = 0; i < divs.length; i++) {
       var div = divs[i];
       if (div.className == "thumbnailer") {
           thumbnails.push(div);
       }
    }

    if (thumbnails.length > 0) {
        for (i = 0; i < thumbnails.length; i++) {
            var randomImageNumber = Math.floor(Math.random()*4) + 1;
            thumbnails[i].style.backgroundImage = "url(wp-content/themes/inomag/images/thumbs/"+randomImageNumber+".gif)";
        }
    }
}