buttonr" onclick="httpGet('reset')">Restart</button>
   &nbsp;&nbsp;
   <button class="button" onclick="ldef('getdefs')">Default</button>
    <br><input type="text" size="80" id="resultstr" placeholder="Waiting for input....">
    <br>
  </center>
    <script>
      function httpGet ( theReq )
      {
        var theUrl = "/" + theReq + "?version=" + Math.random() ;
        var xhr = new XMLHttpRequest() ;
        xhr.onreadystatechange = function() {
          if ( xhr.readyState == XMLHttpRequ