public final void open(String page,String ref){
  if (ref == null) {
    ref="";
  }
  ref=ref.replace(" ","_");
  if (page == null) {
    page=DEFAULT_PAGE;
  }
  if (currentPage != null && currentPage.equals(page)) {
    jumpTo(ref);
  }
 else {
    reference=ref;
  }
  loadPage(page);
  HistoryItem location=new HistoryItem(page,ref);
  history.addIfNew(location);
  updateHistoryButtons();
  currentLocation.setText(location.toString());
}

public final void open ( String page , String ref ) { if ( ref == null ) { ref = "" ; } ref = ref . replace ( " " , "_" ) ; if ( page == null ) { page = DEFAULT_PAGE ; } if ( currentPage != null && currentPage . equals ( page ) ) { jumpTo ( ref ) ; } else { reference = ref ; } loadPage ( page ) ; HistoryItem location = new HistoryItem ( page , ref ) ; history . addIfNew ( location ) ; updateHistoryButtons ( ) ; currentLocation . setText ( location . toString ( ) ) ; }
open a page and go to a position ( ref , which is an anchor in the html document ) on that page .
