function updateHref(newAnchor) {
	if(window.location.href.contains('#')) {
		window.location.href = window.location.href.replace(/#.*/g, '#' + newAnchor);
	} else {
		window.location.href += '#' + newAnchor;
	}
	if(Browser.Engine.trident) {
		window.location.reload();
	}
}