User-Agent: *
Disallow: /programok
Disallow: /nopub
Allow: /