<script>

    $(document).ready(function(){

        var state = {

             node_list_url: node_list_url.replace('__REV__',${h.js(c.changeset.raw_id)}).replace('__FPATH__', ${h.js(h.safe_unicode(c.file.path))}),

             url_base: url_base.replace('__REV__',${h.js(c.changeset.raw_id)}),

             rev: ${h.js(c.changeset.raw_id)},

             f_path: ${h.js(h.safe_unicode(c.file.path))}

        }

        window.history.pushState(state, null, ${h.js(h.url.current())});

    });

</script>