function count_images() { if (++num_loaded_images == 20) animate(); }
    var num_loaded_images = 0;
    var images = new Array(20);
    for(var i = 0; i < 20; i++) {
        images[i] = new Image();
        images[i].onLoad = count_images;
        images[i].src = "/img/banner/" + i + ".jpg";
    }
    function animate(){
       document.animation.src = images[frame].src;
       frame = (frame + 1)%20;
       timeout_id = setTimeout("animate()", 5000);
    }
    var frame = 0;