(DIR) ..
 (DIR) wais-servers                                             4.0K 2005-10-13 03:31 CEST