User-agent: WebTrends
Disallow:

User-agent: *
Disallow: /extranet/
Disallow: /cgi-bin/
Disallow: /devel/
Disallow: /preprod/