var txt = "Bookmark this site!";
var url = "http://www.panamacitybeachguide.net";
var who = "Panama City Beach Guide";
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);" ');
document.write('onMouseOver=" window.status=');
document.write("txt; return true ");
document.write('"onMouseOut=" window.status=');
document.write("' '; return true ");
document.write('">'+ txt + '</a>'); }else{ txt += "  (Ctrl+D)"; document.write(txt); }