Si te fijas en el source de la web esta la entrada
<script type="text/javascript" src="recursos/js/cambio_de_fondo.js"></script> <!--CAMBIO DE GONDO--> 
En la cual viene
//cambiar imagen de fondo por una lista aleatoria.
//Nahuel Jose
//www.nahueljose.com.ar
$( function(){
    var arrImagenes = ['fondo1.jpg', 'fondo2.jpg', 'fondo3.jpg', 'fondo4.jpg', 'fondo5.jpg','fondo6.jpg', 'fondo7.jpg', 'fondo8.jpg', 'fondo9.jpg', 'fondo10.jpg', 'fondo11.jpg'];
    var imagenActual = arrImagenes[0];
	var tiempo = 2000;
	var id_contenedor = 'contenedores'
 
	var i=0;
    setInterval( function(){
        i++;
		if (i==arrImagenes.length){i=0;}
        sigImagen = arrImagenes[i];
		imagenActual = sigImagen;
        cambiarImagenFondo(imagenActual, id_contenedor);
    }, tiempo)
})
 
function cambiarImagenFondo(nuevaImagen, contenedor){
	var contenedor = $('#' + contenedor);
	//cargar imagen primero
	var tempImagen = new Image();
	$(tempImagen).load( function(){
		contenedor.css('backgroundImage', 'url('+tempImagen.src+')');
	});
	tempImagen.src = 'images/' + nuevaImagen;
}
Es 
jquery.
Saludos