function jump( select )
{
	window.location.href = select.value;
}