$(document).ready(function()
{
	$("#jump_menu").change(function()
	{
		window.location = $(this).val();
	});
});