User-agent: *
Disallow: 
Crawl-delay: 10
Disallow: /saxon/
Disallow: /no_crawl/
Disallow: /cgi-bin/