function bookmark()
{
	window.external.AddFavorite(location.href, document.title)
}