<!--
document.write("<div id='menu1Adjuster'><div id='menu1Container'>");
  document.write("<div id='menu1Content' class='menu'>");
    document.write("<div class='options'>");
          document.write("<img src=images/spacer.gif height=9><br>");
      document.write("<div id='navcontainerProducts'>");
        document.write("<ul id='navlistProducts'>");
          document.write("<li><a href='commentary.php'>CURRENT COMMENTARY</a></li>");
          document.write("<li><a href='agree_to_historic.php'>HISTORICAL COMMENTARIES</a></li>");
        document.write("</ul>");
      document.write("</div>");
    document.write("</div>");
  document.write("</div>");
document.write("</div></div>");

// -->
