function addbookmark(a_bookmarkurl,a_bookmarktitle)
{
	if (document.all)
		window.external.AddFavorite(a_bookmarkurl,a_bookmarktitle)
}