% Copyright 1996 Digital Equipment Corporation.
% All rights reserved.
% See the file COPYRIGHT for a full description.
%
% Last modified on Mon Aug 19 21:34:52 PDT 1996 by mhb      

