DESTRUCTORS

Definition of DESTRUCTORS