There were two ways of searching the site.
The first search engine, ran on a server that has long since gone. Which leaves us with the nevertheless excellent ...
The second search engine is run by Google. It can't search password-protected pages, or pages that have been put up very recently, but if you've become used to phrasing search queries for Google, you may prefer it.
|Searched <% = intTotalFilesSearched %> documents in total.|