../ cmman.mf 02-Jan-2012 13:37 39871 manfnt.mf 12-Aug-1989 05:39 27071 mfman.mf 27-Dec-2011 07:58 72979 random.mf 27-Aug-1986 01:30 4566