// Function that handles Add to Favorites Feature
function addfav()
   {
   if (document.all)
      {
      window.external.AddFavorite
      ("http://www.grandfather.com/","Grandfather Mountain")
      }
   }