User-agent: *   # directed to all spiders
Disallow: /astro/
Disallow: /images/
Disallow: /applets/
Disallow: /er_slo/
Disallow: /manuals/
Allow: /index.html