function addToFavorites( titel, url){
		if ( document.all)
			window.external.AddFavorite(url, titel);
	}

	function showFavorites() {
		favorites.style.visibility='visible';
	}
	
	function hideFavorites() {
		favorites.style.visibility='hidden';
	}