<!--
function jumpBox(list) {
	location.href = list.options[list.selectedIndex].value
	}
//-->