        } else {
                    this.pause();
                    animation_2_play_button_.style.display = 'block';
                  }" loop="">
    <source src="https://flutter.github.io/assets-for-api-docs/assets/dart-ui/round_join.mp4" type="video/mp4">
  </video>
</div><div style="position: relative;">
  <div id="animation_3_play_button_" onclick="var animation_3 = document.getElementById('animation_3');
                if (animation_3.paused) {
                  animation_3.play();
              