User-Agent: *
Disallow: /jdt
Disallow: /cgi-bin
Allow: /aos
Disallow: /thompson
Allow: /
Disallow: /pdf
Disallow: /gallery