// JavaScript Document - Jump Menu Script
function jumpto(x){

if (document.jumpform.jumpmenu.value != "null") {
document.location.href = x
}
}