public function __toString() { return json_encode($this, JSON_PRETTY_PRINT | JSON_UNESCAPED_SLASHES); }