// JavaScript Document

function diapo_txt(nom){
window.document.getElementById('photo').src="images/diapo1/"+nom+".jpg";
}
/*********************/