<!--
function highlight3(x){
document.forms[x].elements[3].focus()
document.forms[x].elements[3].select()
}
//-->