<!--
  function goToPage(pageURL) {
    if (pageURL == "") {
      return false;
    } else {
      document.location.href = pageURL;
    }
  }
-->