function jumptoresults() {
	var a = document.anchors;

	for (i=0; i<a.length; i++) {
		if (a[i].name == "results") {
			window.location.hash="results";
			return;
		}
	}
}