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