ARTEX	printout of artex 'whois' list, 16 march 1988