function bookmark(anchor){
if(window.external){
  window.external.AddFavorite(anchor.getAttribute('href'), anchor.getAttribute('title'));
  return false;}
  return true;}