// journal date browsing navigation

function jump()
{
	jumpnav = document.forms[0].jumpnav;
	destination = jumpnav.options[jumpnav.selectedIndex].value;
	if (destination) location.href = destination;
}