function addbookmark(bookmarkurl, bookmarktitle){
  if (document.all)
    window.external.AddFavorite(bookmarkurl,bookmarktitle)
  }