function favorieten()
{
	if (document.all)
	window.external.AddFavorite(self.document.location,self.document.title)
}