<!-- 
isNet4 = isIE4 = false;

if ( navigator.appVersion.substring(0, 1) >=4) {
  if ( navigator.appName == "Netscape") {
    isNet4 = true;
  }
  if (navigator.appName == "Microsoft Internet Explorer" ) {
    isIE4 = true;
  }
}
function bookmark() {
       window.external.AddFavorite(window.location, document.title);
}
if (isIE4) {
          document.write("<div class=\"vertNavBar\"><a href=\"javascript:bookmark();\">bookmark this page</a></div>");
}
// -->