function addfav() {
	if (window.external) window.external.AddFavorite(window.location, document.title);
	else alert('Press Ctrl+B to add to bookmarks');
}