var bookmarkurl="http://www.tenerife-reisgids.be/"
var bookmarktitel="Tenerife Reisgids"
function favorieten(){
if (document.all)
window.external.AddFavorite(bookmarkurl,bookmarktitel)
}