% STUBS7.RED

% none yet

End;
