function addfav(){
   if (document.all){
      window.external.AddFavorite(location.href, document.title);
      } else {
   	alert('U kunt deze pagina bookmarken met de toetsencombinatie Ctrl-D');
   }
}