function addfav()
   {
   if (document.all)
      {
      window.external.AddFavorite
      (location.href,document.title)
      }
   }