function ol(url) {
document.location = url;
}


function omout(x) { }

function tophoto(x) {
	//document.getElementById('toPho').src= "./michel_files/"+x;
	document.getElementById('toPho').src=x;
}

function pname(x) {
	document.getElementById('toPhoComment').innerHTML= x;
}

MM_preloadImages('images/carte.gif');