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


///sets the focus to the input box named "human"
function setFocus()
  {
  document.getElementById('human').focus()
  }


///navigation light changes
function shilite(dot)
	{dot.src="vimgs/bulletb.gif"}

function shiback(dot)
	{dot.src="vimgs/bulletg.gif"}