User-agent: *
Disallow: /cgi-bin/
Disallow: /icons/
Disallow: /COSY/	# these don't exist any more, and the indexing
Disallow: /ITG/		# is very irritating