<!--
// function for dropdown menus
function quickjump(form) {
     var url = form.quickjump_pulldown.options[form.quickjump_pulldown.selectedIndex].value;
     location.href = url
     return false }
// -->