../ origin.ps 11-Oct-2005 16:54 17K origin.tex 02-Sep-1992 07:00 700 ransom10.300gf 02-Sep-1992 07:00 7464 ransom10.300pk 02-Sep-1992 07:00 3188 ransom10.tfm 02-Sep-1992 07:00 552