function jump(menu)
{
	jump_location = menu[menu.selectedIndex].value;
	window.location = jump_location;
}