function switch_img (url, nom)
{
	document.getElementById(nom).src = url;
}

function favoris() 
{
	if ( navigator.appName != 'Microsoft Internet Explorer' )
	{ 
		window.sidebar.addPanel("Animadom, organisation d'animations enfants","http://www.animadom.net/",""); 
	}
	else 
	{ 
		window.external.AddFavorite("http://www.animadom.net/","Animadom, organisation d'animations enfants"); 
	} 
}