User-agent: *
Disallow: /cgi-bin/
Disallow: /bin/
Disallow: /editors/
Disallow: /safedocs/
Disallow: /proofs/
Disallow: /webstats/
Disallow: /forums/
Disallow: /htdocs/survey/
Disallow: /survey/