

<script type="text/javascript">

(function() {

     var href = window.location.toString();

     var queryArgs = window.location.search; // the ?foo=1 part
     //     var hashArgs  = window.location.hash;   // the #foo=1 part

     // this avoids the FF bug where location.hash is prematurely decoded
     var hashArgs = "#" + (window.location.href.split("#")[1] || "");


     if (!queryArgs) {
         queryArgs = "?";
     }
     hashArgs = "&state=hashArgs" + encodeURIComponent( hashArgs );

     // rebuild URL without hash args
     var redirect = window.location.pathname + queryArgs + hashArgs;

     window.location.replace( redirect );

 })();


</script>

<noscript>
  <div style="width: 22em; position: absolute; left: 50%; margin-left: -11em; color: red; background-color: white; border: 1px solid red; padding: 4px; font-family: sans-serif">
    Your web browser must have JavaScript enabled
    in order for this application to display correctly.
  </div>
</noscript>
