User-agent: *
Disallow: /george/
Disallow: /platforms/
Disallow: /ingo/
Disallow: /nexus/
Disallow: /HDDB/
Disallow: /cgi-bin/
Disallow: /malab/
Disallow: /malab2/
Disallow: /wiley/
Disallow: /ava/
User-agent: Fasterfox
Disallow: /