<!--
var IEstring = "<a href='javascript:window.external.addFavorite"
IEstring += "(location.href,document.title);' title='add to favorites'>Add this page to your favorites!<\/a>" ;
var NSstring = "Press [Ctrl + D] to add this page to your bookmarks!";
var OPstring = "Press [Ctrl + T] to add this page to your bookmarks!";
var OTHstring = "Bookmark this page!"
var whichString = OTHstring ;
var agt = navigator.userAgent.toLowerCase();
var app = navigator.appName.toLowerCase();
var ieAgent = agt.indexOf('msie');
var nsAgent = app.indexOf('netscape');
var opAgent = app.indexOf('opera');
if (ieAgent!= -1) { whichString = IEstring; } else if (nsAgent!= -1){ whichString = NSstring; } else if (opAgent!= -1){whichString = OPstring; }
document.write(whichString)
--> 
