// SET FOCUS TO THE ELEMENT WITH SPECIFIED ID
function setFocus(id) { document.getElementById(id).focus(); return true; }