User-agent: *
Disallow: /txp/
Disallow: /shortstat/
Disallow: /mint/

User-agent: msnbot
Disallow: /

User-agent: Fasterfox
Disallow: /