if (window.location.hash != stateKey.value) {\r
//console.log("updating stateKey with new browser hash: " + window.location.hash);\r
stateKey.value = window.location.hash;\r
if (window.location.hash != stateKey.value) {\r
//console.log("updating stateKey with new browser hash: " + window.location.hash);\r
stateKey.value = window.location.hash;\r