history.replaceState(history.state, document.title, location.href.replace(/#.*$/g, '') + '#' + line);