var bookmarkurl="http://www.leukespelletjes.org"
var bookmarktitel="Leukespelletjes.org"

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