ment.cookie.indexOf("branch=") >= 0){
       var branch = document.cookie.split("=")[1];
       document.getElementById("branch_selector").value = branch;
    }
    change_branch();

    // register event handler
    document.getElementById("branch_selector").addEventListener("change", event_handler);

    // set focus once searchbar is instantiated
    window.setTimeout(set_focus, 500);
  })();
</script>

<!-- google java script has to be loaded after initial call to change_branch(). -->
<script type="text