window.history.pushState({},0,’123.txt’);