function bookmark(a)
{
	var url = window.document.location;
	var title = window.document.title;
	if (document.all) window.external.AddFavorite(url, title);
	else if (window.opera) {
		a.href = url;
		a.rel = "sidebar";
		a.title = title;
		return true;
	}
	else if (window.sidebar) window.sidebar.addPanel(title, url, "");
	else alert("Press CTRL-D to add this page to bookmarks.");
	return false;
}