[To Parent Directory] 3/15/2000 4:26 PM 1261092 crafty-sparc-17.10 6/12/2000 11:39 PM 1261048 crafty-sparc-17.11 7/20/2000 1:05 PM 1261076 crafty-sparc-17.12 9/7/2000 10:18 AM 1262312 crafty-sparc-17.13