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;"><STRONG CLASS=fourteen><SPAN CLASS=nb>Bookmark this page!</SPAN></STRONG></A>'); }
else { document.write('<SPAN CLASS=nb TITLE="Hold down the &#147;Control Key&#148; and click anywhere on this page. A contextual menu will appear, allowing you to &#147;Add this page to your favorites&#148;" OnMouseOver="window.status=\'Appuyez sur la touche &laquo;Contr&ocirc;le&raquo; et cliquez n&#146;importe o&ugrave; sur cette page. Un menu contextuel surgira qui vous permettra &agrave; mettre cette page dans vos favoris.\'; return true;" OnMouseOut="window.status=\'\'; return true;" STYLE="cursor: arrow" CLASS=nb>Bookmark this page!</SPAN>'); }
function addbookmark(){ if (document.all)
window.external.AddFavorite(location.href, document.title) }