function bookmark(url, description){
  netscape="First click OK and then hit CTRL+D to add a bookmark to bishop stone."
    if (navigator.appName=='Microsoft Internet Explorer'){
      window.external.AddFavorite(url, description);}
    else if (navigator.appName=='Netscape'){
      alert(netscape);
}} //-->