<!--#if expr=" \"${CHARSET_SERVER_NAME}\" != \"${SERVER_NAME}:8100\" " -->
User-Agent: *
Disallow: /
<!--#else -->
User-Agent: *
Disallow: /cgi-bin/
Disallow: /cgi/
<!--#endif -->