# robots.txt for www.divers.com User-agent: ia_archiver