function ab(txtName){
txtName.value=txtName.value.replace(/[^0-9:.\(\)\- ]/g,'');
}
function n(){
window.theform.no.value=5;
}