function jump(thisform)
	{
	var myindex = thisform.destination.selectedIndex;
	var url     = thisform.destination.options[myindex].value;
	if(!url) { return }                 		// do nothing if there's no url
	else     {  location = url  } 	// else, hop to it!
	}