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