User-agent: *

Disallow: /include/
Disallow: /theme/ 

Disallow: /HAVS/
Disallow: /PHS/
Disallow: /cgi-bin/