<!--
function jumpPage(newLoc) {
  var thisUrl = newLoc.options[newLoc.selectedIndex].value
  if (thisUrl != "") {
  	location.href = thisUrl
	}

}
// -->