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