function add_bookmark(url, title) {
	if (document.all) {
		window.external.AddFavorite(url, title)
	}
}