// JavaScript Document

<!--
function jump(sel) {
if (sel.options[sel.selectedIndex].value) {
location.href = sel.options[sel.selectedIndex].value;
}
}
// -->