<!--
  function addfav(addfav_u, addfav_t) {if (document.all) window.external.AddFavorite(addfav_u,addfav_t)}
  -->