function jumpto(x){

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

function onlyAlphaNums(txtObj){ 
    txtObj.value=txtObj.value.replace(/[^a-zA-Z\s\d]/g,'');
}