function jumpTo(anchor) {
	window.location.hash = anchor;
}