// jQuery jump menu
$(document).ready(function(){
	$('#jump-menu')
	.show()
	.change(function(){
		var jumpUrl = $(this).find(':selected').val();
		if(jumpUrl != '') {
			location.href = jumpUrl;
		}
	})
});