From: JasonLee@yabbs
To: Dauber@yabbs
Subject: re: <no title>
Date: Wed Mar  9 00:09:11 1994
What you need is gzip and/or gunzip to decompress that file.  It doesn't 
matter what OS the file originated on.

JasonLee