function setBookmark(url,str){
if(str=='')str=url;
if (document.all)window.external.AddFavorite(url,str);
else alert('Met deze browser kunt u niet automatisch een website aan uw favoriete websites toevoegen. Om deze pagina aan uw favorieten toe te voegen, sluit deze boodschap en typ CTRL+D.');
}