<!DOCTYPE html>
<html>
<head>
<title>Try editing the URL bar</title>
<meta http-equiv="Content-Type" content="text/html;charset=utf-8"></meta>
</head>
<body>
<script>
function dos_hash() {
  location.hash = "#";
}

function dos_pushState() {
  history.pushState({}, "Some title", "");
}
</script>
</body>
</html>
