../ diski1 24-May-2002 16:07 706 info1.tgz 24-May-2002 16:07 1085 maketag 24-May-2002 16:07 844 tagfile 24-May-2002 16:07 22 tagfile.org 24-May-2002 16:07 22