// JavaScript Document
function ChangerLogo(nom){
	var logo = parent.document.getElementById("logo");
	logo.src="images/logo" + nom + ".gif";
}