<!--
function addBookmark() {
  if (document.all) {
    window.external.addfavorite(window.location, window.document.title);
  } else {
    alert('Press CTRL+D to Bookmark this page after you click OK.');
  }
}
//-->