function bookmark() {
	if (document.all) {
		window.external.AddFavorite(location.href, document.title);
	} else if (window.sidebar) {
		window.sidebar.addPanel(document.title, location.href, "");
	}
}