t.body.offsetTop;
      pattern.setAttribute("clip-rule", "evenodd");
      document.body.offsetTop;
      pattern.setAttribute("width", "0");
      document.getElementById("svg").setAttribute("systemLanguage", "x-nonexistent");
      document.body.offsetTop;
    });
  });
</script>
