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