User-agent: MJ12bot
Disallow: /cgi-bin/

User-agent: *
Disallow: /TRiP/
Disallow: /TRiPSteph/