function doSearch()
{
  // TODO: this does not work for Netscape
  document.forms.searchForm.searchString.value = searchText.value;
  document.forms.searchForm.submit();
}