function change_bandeau()
	{
	//var rand_no = Math.random();
	//rand_no = rand_no * 10;
	//rand_no = Math.ceil(rand_no);
	var rand_no = Math.floor(Math.random() * 13)+1;
	document.getElementById("bandeau").style.background='url(images/music_'+rand_no+'.jpg) top center no-repeat';
	setTimeout('change_bandeau()', 10000);
	}