// JavaScript Document


function jumpTo(location){
	var jump = document.getElementById("jumpToMenu");
	window.self.location.href = "#" + jump.value;
}