function highlight(x){
document.form.elements[x].focus()
document.form.elements[x].select()
}