s: function(result) {
          refreshtimestamp = result;
        }
      });
    }

    function updateSummary() {
      // get page header info
      $.ajax({
        async: false,
        dataType: 'json',
        timeout: 1,
        url: '/summary',
        success: function(result) {
          document.getElementById('summary').innerHTML = result.toString();
          document.getElementById('summary').title = result.toString();
        }
      });
    }

    function updateButtonStatus() {
      $.aj