function addfav()
{
	if (document.all)
	window.external.AddFavorite(location.href, document.title);
		else if (window.sidebar)
			window.sidebar.addPanel(document.title, location.href, "")
}