document
	.getElementById("path")
	.addEventListener("keydown", function(event) {
		if (event.code === "Enter") {
			window.location.href =
				window.location.origin + event.target.value;
		}
	});