<!DOCTYPE html>
<meta charset="utf-8">
<script src="/common/get-host-info.sub.js"></script>
<body>
<script>
  var link = document.createElement("link");
  link.rel = "prefetch";
  link.href = get_host_info().HTTP_REMOTE_ORIGIN + "/WebKit/prefetch/resources/prefetched-main-resource-redirect.py";
  internals.addPrefetchLoadEventListener(link, () => { window.location = get_host_info().HTTP_REMOTE_ORIGIN + "/WebKit/prefetch/resources/prefetched-main-resource-redirect.py" });
  document.body.appendChild(link);
</script>
</body>