var NbImg = 6;

function SlideRef() {
	var nb = Math.floor(Math.random()*NbImg);
	document.getElementById("ref").src = '../images/references/mini'+nb+'.gif';
	setTimeout("SlideRef()",1000);
}