../ diski1 24-May-2002 16:07 703 info1.tgz 24-May-2002 16:07 1M maketag 24-May-2002 16:07 844 tagfile 24-May-2002 16:07 22 tagfile.org 24-May-2002 16:07 22