function bookmark_page() {
	if (document.all) {
		window.external.AddFavorite(document.location, document.title);
	}
}