../ vestige.bat 25-Feb-1997 17:18 84 vestige.orc 25-Feb-1997 17:18 7991 vestige.sco 25-Feb-1997 17:18 21777