function addfav()
   {
   if (document.all)
      {
      window.external.AddFavorite
      ("http://www.cottagealgarve.com","Cottage / Apartment for rent - Algarve, Portugal")
      }
   }