User-Agent: *
Disallow: /en_index.php
Disallow: /mantis/