//<!--

function setFocus()
{
  document.books.search.focus();
  document.books.search.select();
}

//-->