<!--
function addBookmark() {
  var title=document.title;
  if (window.external)
    external.AddFavorite(location.href,title)
  else
    alert("Your browser doesn't support this feature. You can probably set a bookmark through one of the menus at the top of the screen");
}
-->