function bookmarkump3() 
{ if (document.all) { window.external.AddFavorite(location.href, document.title); } 
else if (window.sidebar) { window.sidebar.addPanel(document.title, location.href, ""); } }