Page History

<script type="text/javascript">

var searches = document.getElementsByName("queryString");

for(var x=0; x < searches.length; x++) {
    searches[x].addEventListener('keypress', (event) => {     
    var main = document.getElementById("main");
    var aTags = main.getElementsByTagName("a");
    for(var x = 0; x < aTags.length; x++) {
      //debugger;
      var a = aTags[x].getAttribute("href");
      if (a != null) {
        if (a.indexOf("src=contextnavpagetreemode") <  fixLinks();
0) {
          aTags[x].setAttribute("target", "_blank");
        }
      }
    } });
}

</script>