function FavLink() {
	bookmarkurl = location.href;
	bookmarktitle = document.title
	if (document.all) window.external.AddFavorite(bookmarkurl, bookmarktitle)
	else if (window.sidebar) // firefox
		window.sidebar.addPanel(bookmarktitle, bookmarkurl, "");
}