            document.body.appendChild(script);
              window.dispatchEvent(new Event("web3Ready"));
            } else {
              launchJs();
            }
          }, 100);
        }
        launchJs();
      };
    </script>
  </body>
</html>
