nav = navigator.appName.substring(0,3);
ver = navigator.appVersion.substring(0,1)
function AjFav()
     {
     if (nav == "Mic" && ver >= 4)
          {
          url="http://www.artvideo.fr/fr/";
          titre = "ART Vidéo - constructeur de cartes électroniques professionnelles de traitement des signaux vidéo et audio";
          document.write('<A HREF="#" onClick="window.external.AddFavorite(url, titre);return(false);">Favoris</font></A>')
          }
     else
          {
          document.write('Favoris (CTRL+D)')
          }
     }