function bookmark () {
	if (document.all) {
		window.external.AddFavorite(location.href, document.title);
		return false;
	}
}