# robots.txt 
# file created: 09.03.01
User-agent: *
Disallow: /download/
Disallow: /html/
Disallow: /htmle/
Disallow: /html/*?