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

Disallow: /kopf.htm
Disallow: /nav-java.htm