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