if (navigator.appName == "Microsoft Internet Explorer" && navigator.appVersion.indexOf("Windows", 0) != -1 && navigator.appVersion.substring(0,1) >= 4) { document.write('<A CLASS="homelink" 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>Bookmark this page!</NOBR></A>'); }
else { document.write('<NOBR>Bookmark this page!</NOBR>'); }
function addbookmark(){ if (document.all)
window.external.AddFavorite(top.location.href, top.document.title) }