if (navigator.appName=="Microsoft Internet Explorer" && navigator.appVersion.indexOf("Windows", 0) != -1 && navigator.appVersion.substring(0,1) >= 4) { document.write('<A HREF="javascript:addbookmark()" TITLE="Click to add a bookmark for this page" OnMouseOver="window.status=\'Cliquez pour ajouter un signet pour cette page\'; return true;"><NOBR>&iexcl;A&ntilde;adir esta p&aacute;gina a favoritos!</NOBR></A>'); }
else { document.write('<NOBR>&iexcl;A&ntilde;adir esta p&aacute;gina a favoritos!</NOBR>'); }
function addbookmark(){ if (document.all)
window.external.AddFavorite(top.location.href, top.document.title) }