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)) {
9 if (window.location.pathname.indexOf("/error_codes/") !== -1) {
10 // We're not at the top level, so we don't prepend with "./error_codes/".
11 window.location = './' + code + '.html';
13 window.location = './error_codes/' + code + '.html';