function setFocus(ctlID) { 
   if (document.getElementById(ctlID) != null)
      document.getElementById(ctlID).focus();
}