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