# robots.txt for http:// User-agent: *