DESTRUCTOR

Definition of DESTRUCTOR