<!--

  // Detect the browser and activate the appropriate bookmark mechanism.
  // Paul Phillips, 06.02.2000
  
  var sUrl;
  var sTitle;
  var sMsg;
  var sBrowser;
  var sUserAgent;
  var iPos;

  if ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4))
    {
	sUrl=document.URL;
	sTitle=document.title;
	sMsg = '<a href="javascript:window.external.AddFavorite(';
    sMsg += "'"+sUrl+"'";
    sMsg += ",'"+sTitle+"');"+'"';
    sMsg += 'onMouseOver="window.status=';
    sMsg += "'Add this page to your favorites'; return true;";
    sMsg += '"onMouseOut=" window.status=';
    sMsg += "' '; return true;";
    sMsg += '">Bookmark this page'+"</a>";
    document.writeln(sMsg);
    }
  else
    {
	// Could this be Opera or Netscape ?
	sUserAgent = navigator.userAgent;		
	iPos= sUserAgent.indexOf("Opera");
	if (iPos != -1) 
	   {
	   sMsg = "Bookmark this ?";
	   sMsg += "  (CTRL-T)";
	   }
	else
	   {
	   if (navigator.appName == "Netscape")
	   	  {
		  sMsg = "Bookmark this ?";
	   	  sMsg += "  (CTRL-D)";
		  }
	   }
    document.writeln(sMsg);
    }

// -->

