// Retrieve the anchor from current URL. 
// If none is found, returns empty string 
function getCurrentAnchor()
{
	var currentURI = decodeURI(window.location);    
	var poundLoc = currentURI.indexOf("#");
	if (poundLoc >= 0) {
		return currentURI.substring(poundLoc + 1);
	}	else {
		return "";
	}
}

$(function(){
	
	$("#jumpTo").change(function(e){
		if ($(this).val() != '') {
			window.location.href = $(this).val(); 
		}
	});
	
});