// JavaScript Document
 var img="1";
function diapo_txt(nom){
window.document.getElementById('photo').src="images/diaporama/photo"+nom+".gif";
img=nom;
}