2 if (window.location.hash) {
3 let code = window.location.hash.replace(/^#/, '');
4 // We have to make sure this pattern matches to avoid inadvertently creating an
6 if (/^E[0-9]+$/.test(code)) {
7 window.location.replace('./error_codes/' + code + '.html');
11 window.location.replace('./error_codes/error-index.html');