   <!--

      var url = this.location;
      var title = document.title;

      function bookmark(){
      if(document.all)
         window.external.AddFavorite(url,title);
      }

   // -->