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