User-agent: *
Disallow: /~jun/htdocs
Disallow: /~jun/usage
Disallow: /~jun/wais