function jumpto(x){
if (document.maina.jumpmenu.value != "null") {
document.location.href = x
}
if (document.mainl.jumpmenu.value != "null") {
document.location.href = x
}
if (document.maint.jumpmenu.value != "null") {
document.location.href = x
}
}