nav = navigator.appName.substring(0,3);
ver = navigator.appVersion.substring(0,1)
function addFav()
	{
	if (nav == "Mic" && ver >= 4)
		{
		url_site="http://www.adodoc.net/archives";
		titre_site = "Les Archives d'Adodoc";
		document.write('<A HREF="#" onClick="window.external.AddFavorite(url_site, titre_site);return(false);">Mettre en Favoris</A><BR>')
		}
	else
		{
		document.write('CTRL+D pour ajouter &agrave; vos favoris!')
		}
	}