var GIB_anim = function() {
	var anim_nb = 48;
	//var anim_speed = 8000;
	var n = Math.floor(new Date().getTime()) % anim_nb;
	var e = document.getElementById('top');
	e.style.backgroundImage = 'url(images/top/im-' + n + '.jpg)';

/*	function setImageAnim1(n) {
		var e = document.getElementById('top');
		e.style.backgroundImage = 'url(images/top/im-' + n + '.jpg)';
	}

	setImageAnim1(anim_index);
	setInterval( function() {
		anim_index++;
		anim_index%=anim_nb;
		setImageAnim1(anim_index);
	}, anim_speed);
*/
}();