function __destruct() { printf("Good bye, cruel world: MANAGER:%s\n", $this->ename); parent::__destruct(); }