// JavaScript Document
function highlight(x){
document.forms[x].elements[0].focus()
document.forms[x].elements[0].select()}