function gotoPrefs() {
  if (document.URL.indexOf('#') != -1) {
    document.location = document.URL.substring(0,document.URL.indexOf('#')) + "&vpbPrefs=true";
  }
  else {
    document.location = document.URL + "&showPrefs=true";
  }
}