../ 6.2_cosmo_player_1.0.tardist 22-Oct-1996 21:14 1853440 cosmoplayer 18-Sep-1996 17:05 1181 cosmoplayer.idb 18-Sep-1996 17:05 2862 cosmoplayer.man 18-Sep-1996 17:05 12499 cosmoplayer.sw 18-Sep-1996 17:05 1824725