for bad bots

Bernie Fuchs (1932-2009)