User-agent: *
Disallow: /KPHTS_v2_soft1.php
Disallow: /mantis/
Allow: /