User-agent: wget
Disallow: 7.html