You don't need the HTML5 history API for that either.

    location.replace("#...");