public function __destruct() { echo get_class($this) . " " . $this . " has sunk!<br/>"; parent::__destruct(); }
function __destruct() { echo get_class() . " " . $this . " has been grounded! <br />"; parent::__destruct(); }