var txt = "zu den Favoriten hinzufügen"
var size = "12"
var url = "http://www.wohnsinn.at/"
var who = "wohnsinn.at"
var ver = navigator.appName
var num = parseInt(navigator.appVersion)
if ((ver == "Microsoft Internet Explorer")&&(num >= 4)) {
   document.write('<a href="javascript:window.external.AddFavorite(url,who);" class="toplink"');
   document.write('>'+ txt + '</a>')
}else{
   document.write('Tipp: Meine Seite bookmarken...');
}