../ cmman.tfm 18-Mar-1999 05:30 600 manfnt.tfm 18-Mar-1999 05:30 1100 random.tfm 18-Mar-1999 05:30 660