if (window.external) {
	document.write('&nbsp;|&nbsp;<a href="#" onclick="window.external.AddFavorite(location.href,document.title);">Lesezeichen setzen</a>&nbsp;|&nbsp;<a href="#" style="behavior:url(#default#homepage);" onclick="this.setHomePage(location.href);">Als Startseite</a>');
}