function jumpto(x){

if (document.getElementById('jumpmenu').value != "Heading") {
document.location.href = x
}
}