////////////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////////////
/// This javascript file is created to provide a file for sites needing
/// and external script file. You may or may not need it. Remove as necessary.
////////////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////////////


function setFocus()
  {
  document.getElementById('human').focus()
  }