 = result;
        }
      });
      // version info needs to be read only once
      if (typeof version == "undefined") {
        $.ajax({
          async: false,
          dataType: 'json',
          timeout: 1,
          url: '/version',
          success: function(result) {
            version = result;
          }
        });
      }
    }

    function updateTimestamp() {
      $.ajax({
        async: false,
        dataType: 'json',
        timeout: 1,
        url: '/refreshtimestamp',
        succes