function addbookmark(){
	var bookmarkurl="index.html"
	var bookmarktitle="GokkastenTanzoo.net - De beste gokkasten van het net!"

	if( document.all )
		window.external.AddFavorite( bookmarkurl,bookmarktitle );
}
function bookmarksite(title, url){
if (document.all)
window.external.AddFavorite(url, title);
else if (window.sidebar)
window.sidebar.addPanel(title, url, "")
}