write destructor