html/browsers/browsing-the-web/navigating-across-documents/source/resources/window-location.html

<script>
  function f() {
    window.location = "resources/dummy.html"
  }
</script>