var bookmarkurl="http://www.gokkasten.org"
var bookmarktitle="Gokkasten.org"
function addbookmark(){
  if( document.all )
    window.external.AddFavorite( bookmarkurl,bookmarktitle );
}