# $Header$
User-agent: *
Disallow: /cgi-bin
Disallow: /images
Disallow: /noexport
Disallow: /phpinc