//2 variabelen
var bookmarkurl="http://www.gratis-gokkasten.org"
var bookmarktitel="Gratis - gokkasten"

function fav(){
if (document.all)
window.external.AddFavorite(bookmarkurl,bookmarktitel)
}