../ xanadu.bat 25-Feb-1997 17:18 81 xanadu.orc 25-Feb-1997 17:18 3979 xanadu.sco 25-Feb-1997 17:18 4396