// Fügt die aktuelle Seite als Favoriten hinzu
function AddToFavorites() 
{
  if (document.all) 
	{
	  if (navigator.appName == "Microsoft Internet Explorer") 
	  {
		  window.external.AddFavorite(document.URL, document.title);
		}
		else 
		{
		  alert("Bitte drücken Sie STRG-D um diese Seite zu den Favoriten hinzuzufügen !");
		}
  }
  else 
	{
	  alert("Bitte drücken Sie STRG-D um diese Seite zu den Favoriten hinzuzufügen !");
  }
}